Choice of metadata Retro Books
Page 1, Results: 5
Report on unfulfilled requests: 0
1.
Подробнее
У-774
Успенский, В. А.
Лекции о вычислимых функциях [Текст] : математическая логика и основания математики / В. А. Успенский. - М. : Физико-матемтическая лит., 1969. - 492 с. - 1р.36к. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
МАТЕМАТИЧЕСКИЙ АНАЛИЗ
Кл.слова (ненормированные):
множество -- функции -- математическая логика -- рекурсивные функции -- предикаты -- нумерации -- вычисление
Экземпляры всего: 1
6-3 (1)
Свободны: 6-3 (1)
У-774
Успенский, В. А.
Лекции о вычислимых функциях [Текст] : математическая логика и основания математики / В. А. Успенский. - М. : Физико-матемтическая лит., 1969. - 492 с. - 1р.36к. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
МАТЕМАТИЧЕСКИЙ АНАЛИЗ
Кл.слова (ненормированные):
множество -- функции -- математическая логика -- рекурсивные функции -- предикаты -- нумерации -- вычисление
Экземпляры всего: 1
6-3 (1)
Свободны: 6-3 (1)
2.
Подробнее
Е804
Ершов, Ю. Л.
Математическая логика [Текст] : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - М. : Наука, 1979. - 318 с. - 0т. 00т. тг.
ББК 22.12я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
исчисление -- теория множеств -- теория моделей -- теория доказательств -- логика -- высказывание -- предикаты
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 2
5.2-№6 оқу залы (2)
Свободны: 5.2-№6 оқу залы (2)
Е804
Ершов, Ю. Л.
Математическая логика [Текст] : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - М. : Наука, 1979. - 318 с. - 0т. 00т. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
исчисление -- теория множеств -- теория моделей -- теория доказательств -- логика -- высказывание -- предикаты
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 2
5.2-№6 оқу залы (2)
Свободны: 5.2-№6 оқу залы (2)
3.
Подробнее
Е804
Ершов, Ю. Л.
Математическая логика [Текст] : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - М. : Наука, 1987. - 336 с. - [Б.ц.] тг., 0т. 00т. тг.
ББК 22.12я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
исчисление -- теория множеств -- теория моделей -- теория доказательств -- логика -- высказывание -- предикаты
Аннотация: МТ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 49
5.2-№6 оқу залы (38), 8-3.3 (11)
Свободны: 5.2-№6 оқу залы (38), 8-3.3 (11)
Е804
Ершов, Ю. Л.
Математическая логика [Текст] : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - М. : Наука, 1987. - 336 с. - [Б.ц.] тг., 0т. 00т. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
исчисление -- теория множеств -- теория моделей -- теория доказательств -- логика -- высказывание -- предикаты
Аннотация: МТ
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 49
5.2-№6 оқу залы (38), 8-3.3 (11)
Свободны: 5.2-№6 оқу залы (38), 8-3.3 (11)
4.
Подробнее
Л27
Латотин, Л. А.
Математическая логика [Текст] : учебное пособие / Л. А. Латотин. - М. : Вышэйшая школа, 1991. - 269 с. - 96т. 51т. тг., 0т. 00т. тг.
ББК 22.12я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- исчисление -- множества -- предикаты -- модели -- алгоритмы
Экземпляры всего: 7
6.1-1 (1), 7-5 (4), 5.2-№6 оқу залы (2)
Свободны: 6.1-1 (1), 7-5 (4), 5.2-№6 оқу залы (2)
Л27
Латотин, Л. А.
Математическая логика [Текст] : учебное пособие / Л. А. Латотин. - М. : Вышэйшая школа, 1991. - 269 с. - 96т. 51т. тг., 0т. 00т. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- исчисление -- множества -- предикаты -- модели -- алгоритмы
Экземпляры всего: 7
6.1-1 (1), 7-5 (4), 5.2-№6 оқу залы (2)
Свободны: 6.1-1 (1), 7-5 (4), 5.2-№6 оқу залы (2)
5.
Подробнее
М340
Математика [Текст] : учебное пособие / Сост.Н.Я.Виленкин, А.М.Пышкало, В.Б.Рождественская, Л.П.Стойлова. - М. : Просвещение, 1977. - 352 с. - [Б.ц.] тг.
ББК 51(075.3)
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
множества,кортежи,комбинаторика -- предикаты и теоремы -- соответствия,отношения,отображения -- геометрические преобразования
Аннотация: МТ
Экземпляры всего: 5
5.2-№6 оқу залы (5)
Свободны: 5.2-№6 оқу залы (5)
М340
Математика [Текст] : учебное пособие / Сост.Н.Я.Виленкин, А.М.Пышкало, В.Б.Рождественская, Л.П.Стойлова. - М. : Просвещение, 1977. - 352 с. - [Б.ц.] тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
множества,кортежи,комбинаторика -- предикаты и теоремы -- соответствия,отношения,отображения -- геометрические преобразования
Аннотация: МТ
Экземпляры всего: 5
5.2-№6 оқу залы (5)
Свободны: 5.2-№6 оқу залы (5)
Page 1, Results: 5