Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 15
Отмеченные записи: 0
1.
Подробнее
Теория алгорифмов и математическая логика / под ред. Б. А. Кушнера, Н. М. Нагорного ; Академия наук СССР, Вычислительный центр. - Москва : Изд-во Вычислительного центра, 1974. - 211 c.
Кл.слова (ненормированные):
теория алгорифмов -- псевдочисла -- вероятностные машины -- множества -- алгорифмы -- рекурсивные экстраполяторы -- кванторы -- вещественные числа -- математическая логика -- математика -- правило бесконечной индукции
Доп.точки доступа:
Нагорный, Н. М. \ред.\
Кушнер, Б. А. \ред.\
Академия наук СССР. Вычислительный центр
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Теория алгорифмов и математическая логика / под ред. Б. А. Кушнера, Н. М. Нагорного ; Академия наук СССР, Вычислительный центр. - Москва : Изд-во Вычислительного центра, 1974. - 211 c.
| УДК |
Кл.слова (ненормированные):
теория алгорифмов -- псевдочисла -- вероятностные машины -- множества -- алгорифмы -- рекурсивные экстраполяторы -- кванторы -- вещественные числа -- математическая логика -- математика -- правило бесконечной индукции
Доп.точки доступа:
Нагорный, Н. М. \ред.\
Кушнер, Б. А. \ред.\
Академия наук СССР. Вычислительный центр
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
2.
Подробнее
К 268
Основания математической логики [Текст] : пер. с англ. / Карри Хаскелл Б. - М. : Мир, 1969. - 568 c.
Кл.слова (ненормированные):
кванторы -- НЛ -- исчисления -- теория модальностей -- математическая логика -- математика -- Биневский, Александр Александрович (библиотека) -- отрицание -- методология математики -- формальные системы -- импликация
Экземпляры всего: 1
Абонемент учебной и научной литературы (1)
Свободны: Абонемент учебной и научной литературы (1)
К 268
Основания математической логики [Текст] : пер. с англ. / Карри Хаскелл Б. - М. : Мир, 1969. - 568 c.
| УДК |
Кл.слова (ненормированные):
кванторы -- НЛ -- исчисления -- теория модальностей -- математическая логика -- математика -- Биневский, Александр Александрович (библиотека) -- отрицание -- методология математики -- формальные системы -- импликация
Экземпляры всего: 1
Абонемент учебной и научной литературы (1)
Свободны: Абонемент учебной и научной литературы (1)
3.
Подробнее
Карри, Хаскелл Б.
Основания математической логики / Хаскелл Б. Карри ; пер. с англ. В. В. Донченко. - Москва : Мир, 1969. - 568 c. - Библиогр. : с. 518-547.
Парал. тит. л. на англ. яз.
Кл.слова (ненормированные):
кванторы -- математическая логика -- теория модальностей -- методология математики -- импликация -- отрицание (математика) -- исчисления -- формальные системы -- математика
Доп.точки доступа:
Донченко, В. В. \пер.\
Экземпляры всего: 6
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (2), Абонемент учебной и научной литературы (Пушкинская, 10) (3)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (2), Абонемент учебной и научной литературы (Пушкинская, 10) (3)
Карри, Хаскелл Б.
Основания математической логики / Хаскелл Б. Карри ; пер. с англ. В. В. Донченко. - Москва : Мир, 1969. - 568 c. - Библиогр. : с. 518-547.
Парал. тит. л. на англ. яз.
| УДК |
Кл.слова (ненормированные):
кванторы -- математическая логика -- теория модальностей -- методология математики -- импликация -- отрицание (математика) -- исчисления -- формальные системы -- математика
Доп.точки доступа:
Донченко, В. В. \пер.\
Экземпляры всего: 6
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (2), Абонемент учебной и научной литературы (Пушкинская, 10) (3)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (2), Абонемент учебной и научной литературы (Пушкинская, 10) (3)
4.
Подробнее
Черч, А
Введение в математическую логику : пер. с англ / А. Черч. - Москва : Иностранная литература, 1960 - .
т. 1. - 484 c.
Кл.слова (ненормированные):
синтаксис (математика) -- переменные (математика) -- математическая логика -- константы -- функциональные исчисления -- кванторы -- пропозициональное исчисление -- математика -- функции -- семантика (математика)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Черч, А
Введение в математическую логику : пер. с англ / А. Черч. - Москва : Иностранная литература, 1960 - .
т. 1. - 484 c.
| УДК |
Кл.слова (ненормированные):
синтаксис (математика) -- переменные (математика) -- математическая логика -- константы -- функциональные исчисления -- кванторы -- пропозициональное исчисление -- математика -- функции -- семантика (математика)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
5.
Подробнее
Новиков, Петр Сергеевич.
Элементы математической логики / П. С. Новиков. - Москва : Физматлит, 1959. - 400 c. - (Математическая логика и основания математики)
Кл.слова (ненормированные):
математическая логика -- аксиоматическая арифметика -- доказательств теория -- высказываний алгебра -- кванторы -- математика -- предикатов логика
Экземпляры всего: 6
Абонемент учебной и научной литературы (5), Хранение Отдела организации и использования фонда (1)
Свободны: Абонемент учебной и научной литературы (5), Хранение Отдела организации и использования фонда (1)
Новиков, Петр Сергеевич.
Элементы математической логики / П. С. Новиков. - Москва : Физматлит, 1959. - 400 c. - (Математическая логика и основания математики)
| УДК |
Кл.слова (ненормированные):
математическая логика -- аксиоматическая арифметика -- доказательств теория -- высказываний алгебра -- кванторы -- математика -- предикатов логика
Экземпляры всего: 6
Абонемент учебной и научной литературы (5), Хранение Отдела организации и использования фонда (1)
Свободны: Абонемент учебной и научной литературы (5), Хранение Отдела организации и использования фонда (1)
6.
Подробнее
Теория сложности вычислений. 4 : сборник работ / Академия наук СССР, Ленинградское отделение, Математический институт ; под ред. Д. Ю. Григорьева. - Ленинград : Наука, 1989. - 154 c. - (3аписки научных семинаров / Ленинградское отделение. Математического института АН СССР. ; т. 176.). - Библиогр. в конце гл.
Кл.слова (ненормированные):
Римана гипотеза -- кванторы -- факторизация -- сложности вычислений теория -- время субэкспоненциальное -- алгебраических кривых теория -- алгоритмы -- многочлены -- элиминация
Доп.точки доступа:
Григорьев, Д. Ю. \ред.\
Академия наук СССР. Математический институт; Ленинградское отделение
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Теория сложности вычислений. 4 : сборник работ / Академия наук СССР, Ленинградское отделение, Математический институт ; под ред. Д. Ю. Григорьева. - Ленинград : Наука, 1989. - 154 c. - (3аписки научных семинаров / Ленинградское отделение. Математического института АН СССР. ; т. 176.). - Библиогр. в конце гл.
| УДК |
Кл.слова (ненормированные):
Римана гипотеза -- кванторы -- факторизация -- сложности вычислений теория -- время субэкспоненциальное -- алгебраических кривых теория -- алгоритмы -- многочлены -- элиминация
Доп.точки доступа:
Григорьев, Д. Ю. \ред.\
Академия наук СССР. Математический институт; Ленинградское отделение
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
7.
Подробнее
Изворска Р.
Формальная семантика / Изворска Р.; Под ред. Кибрик А., Кобозева И.; Моск.ун-т // Фундаментальные направления современной американской лингвистики. - 1997,,С.207-23
Кл.слова (ненормированные):
семантика -- референция -- кванторы -- условные предложения
Доп.точки доступа:
Кибрик А. \ред.\
Кобозева И. \ред.\
Московский государственный университет
Изворска Р.
Формальная семантика / Изворска Р.; Под ред. Кибрик А., Кобозева И.; Моск.ун-т // Фундаментальные направления современной американской лингвистики. - 1997,,С.207-23
| УДК |
Кл.слова (ненормированные):
семантика -- референция -- кванторы -- условные предложения
Доп.точки доступа:
Кибрик А. \ред.\
Кобозева И. \ред.\
Московский государственный университет
8.
Подробнее
Цыбульская Е.М.
Кванторы и их типологическая характеристика / Цыбульская Е.М.; Под ред. Малинович М.В. // Вестник ИГЛУ. Сер. Лингвистика. - 2000,Вып.2,С.150-155
Кл.слова (ненормированные):
количественные характеристики -- кванторы -- типологическая характеристика -- языковые средства -- полевая структура
Доп.точки доступа:
Малинович М.В. \ред.\
Цыбульская Е.М.
Кванторы и их типологическая характеристика / Цыбульская Е.М.; Под ред. Малинович М.В. // Вестник ИГЛУ. Сер. Лингвистика. - 2000,Вып.2,С.150-155
| УДК |
Кл.слова (ненормированные):
количественные характеристики -- кванторы -- типологическая характеристика -- языковые средства -- полевая структура
Доп.точки доступа:
Малинович М.В. \ред.\
9.
Подробнее
Малугин, Виталий Александрович.
Математика для экономистов. Математический анализ : курс лекций : учебное пособие для вузов / В. А. Малугин ; Московский государственный университет, Экономический факультет. ; Московский государственный университет, Экономический факультет. - Москва : ЭКСМО, 2005. - 264 с. : ил. - (Высшее экономическое образование). - Библиогр. : с. 264.. - ISBN 5699126244
Тематический указатель : с. 259 - 263.
Рубрики: математический анализ
Кл.слова (ненормированные):
элементарные функции -- математика для экономистов -- декартовая система координат -- числовые последовательности -- кванторы -- дифференциалы -- дифференциальные исчисления -- интегралы -- математические функции
Доп.точки доступа:
Московский государственный университет. Экономический факультет
Экземпляры всего: 3
Ч/З о. Русский (2), Абонемент о. Русский (1)
Свободны: Ч/З о. Русский (2)
Малугин, Виталий Александрович.
Математика для экономистов. Математический анализ : курс лекций : учебное пособие для вузов / В. А. Малугин ; Московский государственный университет, Экономический факультет. ; Московский государственный университет, Экономический факультет. - Москва : ЭКСМО, 2005. - 264 с. : ил. - (Высшее экономическое образование). - Библиогр. : с. 264.. - ISBN 5699126244
Тематический указатель : с. 259 - 263.
| УДК |
Рубрики: математический анализ
Кл.слова (ненормированные):
элементарные функции -- математика для экономистов -- декартовая система координат -- числовые последовательности -- кванторы -- дифференциалы -- дифференциальные исчисления -- интегралы -- математические функции
Доп.точки доступа:
Московский государственный университет. Экономический факультет
Экземпляры всего: 3
Ч/З о. Русский (2), Абонемент о. Русский (1)
Свободны: Ч/З о. Русский (2)
10.
Подробнее
Штернберг, Леонид Фрицевич.
Скоростное конспектирование / Л. Ф. Штернберг. - москва : Нт Пресс, 2005. - 75 с. : ил. - (Просто о сложном.). - ISBN 5477001070
ББК 78.303
Рубрики: скоростное конспектирование
Кл.слова (ненормированные):
кванторы -- скорость письма -- стенография
Экземпляры всего: 1
отд. Научно-методический (1)
Свободны: отд. Научно-методический (1)
Штернберг, Леонид Фрицевич.
Скоростное конспектирование / Л. Ф. Штернберг. - москва : Нт Пресс, 2005. - 75 с. : ил. - (Просто о сложном.). - ISBN 5477001070
Рубрики: скоростное конспектирование
Кл.слова (ненормированные):
кванторы -- скорость письма -- стенография
Экземпляры всего: 1
отд. Научно-методический (1)
Свободны: отд. Научно-методический (1)
Страница 1, Результатов: 15