Choice of metadata Retro Books
Page 3, Results: 33
Report on unfulfilled requests: 0
21.
Подробнее
С741
Справочная книга по математической логике:В 3-х ч. [Текст]. Ч.2. Теория рекурсии / Под ред.В.П.Оревкова. - М. : Наука, 1982. - 360 с. - 2р.00к. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
АЛГЕБРА
СПРАВОЧНЫЕ ИЗДАНИЯ
СПРАВОЧНИКИ
Кл.слова (ненормированные):
математическая логика -- теория рекурсии -- алгоритм -- алгебра -- справочник
Экземпляры всего: 2
6.1-№8 оқу залы (1), гидро 6-6. (1)
Свободны: 6.1-№8 оқу залы (1), гидро 6-6. (1)
С741
Справочная книга по математической логике:В 3-х ч. [Текст]. Ч.2. Теория рекурсии / Под ред.В.П.Оревкова. - М. : Наука, 1982. - 360 с. - 2р.00к. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
АЛГЕБРА
СПРАВОЧНЫЕ ИЗДАНИЯ
СПРАВОЧНИКИ
Кл.слова (ненормированные):
математическая логика -- теория рекурсии -- алгоритм -- алгебра -- справочник
Экземпляры всего: 2
6.1-№8 оқу залы (1), гидро 6-6. (1)
Свободны: 6.1-№8 оқу залы (1), гидро 6-6. (1)
22.
Подробнее
С74
Справочная книга по математической логике:В 4-х ч. [Текст]. Ч.3. Теория рекурсии / Под ред.Дж.Барвайса. - М. : Наука, 1982. - 360 с. - 2р.00к. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
АЛГЕБРА
СПРАВОЧНЫЕ ИЗДАНИЯ
СПРАВОЧНИКИ
Кл.слова (ненормированные):
алгоритмические проблемы -- разрешимая теория -- математическая логика -- справочная книга
Экземпляры всего: 2
6.1-№8 оқу залы (1), гидро 6-6. (1)
Свободны: 6.1-№8 оқу залы (1), гидро 6-6. (1)
С74
Справочная книга по математической логике:В 4-х ч. [Текст]. Ч.3. Теория рекурсии / Под ред.Дж.Барвайса. - М. : Наука, 1982. - 360 с. - 2р.00к. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
АЛГЕБРА
СПРАВОЧНЫЕ ИЗДАНИЯ
СПРАВОЧНИКИ
Кл.слова (ненормированные):
алгоритмические проблемы -- разрешимая теория -- математическая логика -- справочная книга
Экземпляры всего: 2
6.1-№8 оқу залы (1), гидро 6-6. (1)
Свободны: 6.1-№8 оқу залы (1), гидро 6-6. (1)
23.
Подробнее
С741
Справочная книга по математической логике [Текст]. Теория модели. - М. : Наука, 1982. - 392 с. - 2р.20к. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
АЛГЕБРА
СПРАВОЧНЫЕ ИЗДАНИЯ
СПРАВОЧНИКИ
Кл.слова (ненормированные):
математическая логика -- справочник -- логика -- теория моделей -- уравнения -- функции
Экземпляры всего: 2
гидро 6-6. (2)
Свободны: гидро 6-6. (2)
С741
Справочная книга по математической логике [Текст]. Теория модели. - М. : Наука, 1982. - 392 с. - 2р.20к. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
АЛГЕБРА
СПРАВОЧНЫЕ ИЗДАНИЯ
СПРАВОЧНИКИ
Кл.слова (ненормированные):
математическая логика -- справочник -- логика -- теория моделей -- уравнения -- функции
Экземпляры всего: 2
гидро 6-6. (2)
Свободны: гидро 6-6. (2)
24.
Подробнее
Т33
Теория моделей в Казахстане [Текст] : сборник научных работ, посвященной памяти А.Д.Тайманова. - Алматы : ECO STUDY, 2006. - 448 с. - ISBN 996597-18-3-8 : [Б.ц.] тг.
ББК 22.123
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- математическая логика -- теория моделей -- А.Д.Тайманов -- математик -- модельная алгебра
Экземпляры всего: 2
2.1-№2 оқу залы (1), гидро 6- 5 (1)
Свободны: 2.1-№2 оқу залы (1), гидро 6- 5 (1)
Т33
Теория моделей в Казахстане [Текст] : сборник научных работ, посвященной памяти А.Д.Тайманова. - Алматы : ECO STUDY, 2006. - 448 с. - ISBN 996597-18-3-8 : [Б.ц.] тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- математическая логика -- теория моделей -- А.Д.Тайманов -- математик -- модельная алгебра
Экземпляры всего: 2
2.1-№2 оқу залы (1), гидро 6- 5 (1)
Свободны: 2.1-№2 оқу залы (1), гидро 6- 5 (1)
25.
Подробнее
У77
Успенский, В. А.
Вводный курс математической логики [Текст] / , Н.К.Верещагин, В.Е.Плиско. - М. : Физматлит, 2002. - 128 с. - ISBN 5922102788 : 1000т. 00т. тг.
ББК 22.12я7
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- теория множеств -- множества -- теорема Кантора -- логические операции -- интерпретации -- теория доказательств -- теорема Геделя -- алгоритмы
Экземпляры всего: 10
6.1-№8 оқу залы (5), 3-4 (1), 2.1-№2 оқу залы (2), 2.1-№2 Ч/З (2)
Свободны: 6.1-№8 оқу залы (5), 3-4 (1), 2.1-№2 оқу залы (2), 2.1-№2 Ч/З (2)
У77
Успенский, В. А.
Вводный курс математической логики [Текст] / , Н.К.Верещагин, В.Е.Плиско. - М. : Физматлит, 2002. - 128 с. - ISBN 5922102788 : 1000т. 00т. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- теория множеств -- множества -- теорема Кантора -- логические операции -- интерпретации -- теория доказательств -- теорема Геделя -- алгоритмы
Экземпляры всего: 10
6.1-№8 оқу залы (5), 3-4 (1), 2.1-№2 оқу залы (2), 2.1-№2 Ч/З (2)
Свободны: 6.1-№8 оқу залы (5), 3-4 (1), 2.1-№2 оқу залы (2), 2.1-№2 Ч/З (2)
26.
Подробнее
У-774
Успенский, В. А.
Лекции о вычислимых функциях [Текст] : математическая логика и основания математики / В. А. Успенский. - М. : Физико-матемтическая лит., 1969. - 492 с. - 1р.36к. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
МАТЕМАТИЧЕСКИЙ АНАЛИЗ
Кл.слова (ненормированные):
множество -- функции -- математическая логика -- рекурсивные функции -- предикаты -- нумерации -- вычисление
Экземпляры всего: 1
6-3 (1)
Свободны: 6-3 (1)
У-774
Успенский, В. А.
Лекции о вычислимых функциях [Текст] : математическая логика и основания математики / В. А. Успенский. - М. : Физико-матемтическая лит., 1969. - 492 с. - 1р.36к. тг.
| УДК |
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
МАТЕМАТИЧЕСКИЙ АНАЛИЗ
Кл.слова (ненормированные):
множество -- функции -- математическая логика -- рекурсивные функции -- предикаты -- нумерации -- вычисление
Экземпляры всего: 1
6-3 (1)
Свободны: 6-3 (1)
27.
Подробнее
К19
Карпов В.Г., Мощенский В. А.
Математическая логика и дискретная математика [Текст] : учеб.пособ. / Мощенский В. А. Карпов В.Г. - Минск : Выш.шк., 1977. - 253 с. - [Б.ц.] тг., 96т. 51т. тг.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- дискретная математика -- множества -- комбинаторика -- функции
Аннотация: МН
Экземпляры всего: 11
5.2-№6 оқу залы (9), 7-5 (2)
Свободны: 5.2-№6 оқу залы (9), 7-5 (2)
К19
Карпов В.Г., Мощенский В. А.
Математическая логика и дискретная математика [Текст] : учеб.пособ. / Мощенский В. А. Карпов В.Г. - Минск : Выш.шк., 1977. - 253 с. - [Б.ц.] тг., 96т. 51т. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- дискретная математика -- множества -- комбинаторика -- функции
Аннотация: МН
Экземпляры всего: 11
5.2-№6 оқу залы (9), 7-5 (2)
Свободны: 5.2-№6 оқу залы (9), 7-5 (2)
28.
Подробнее
К42
Клини, С. К.
Математическая логика [Текст] / Под ред.Г.Е.Минца. - М. : Мир, 1973. - 480 с. - [Б.ц.] тг., 96т. 51т. тг.
ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- теория моделей -- функции -- парадоксы -- вычислимость
Аннотация: МН
Экземпляры всего: 2
5.2-№6 оқу залы (1), 7-5 (1)
Свободны: 5.2-№6 оқу залы (1), 7-5 (1)
К42
Клини, С. К.
Математическая логика [Текст] / Под ред.Г.Е.Минца. - М. : Мир, 1973. - 480 с. - [Б.ц.] тг., 96т. 51т. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика -- теория моделей -- функции -- парадоксы -- вычислимость
Аннотация: МН
Экземпляры всего: 2
5.2-№6 оқу залы (1), 7-5 (1)
Свободны: 5.2-№6 оқу залы (1), 7-5 (1)
29.
Подробнее
Л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)
30.
Подробнее
Л694
Логическое программирование [Текст] / Под. ред.И.Агафонова. - М. : Мир, 1988. - 368 с. - ISBN 5-03-000972-8 : [Б.ц.] тг.
ББК 32.973
Рубрики: ТЕХНИКА
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
Кл.слова (ненормированные):
программирование -- математическая логика -- метод -- Колмероэ А. -- Ковальский Р.
Аннотация: ШС
Экземпляры всего: 4
5.2-№6 оқу залы (4)
Свободны: 5.2-№6 оқу залы (4)
Л694
Логическое программирование [Текст] / Под. ред.И.Агафонова. - М. : Мир, 1988. - 368 с. - ISBN 5-03-000972-8 : [Б.ц.] тг.
Рубрики: ТЕХНИКА
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
Кл.слова (ненормированные):
программирование -- математическая логика -- метод -- Колмероэ А. -- Ковальский Р.
Аннотация: ШС
Экземпляры всего: 4
5.2-№6 оқу залы (4)
Свободны: 5.2-№6 оқу залы (4)
Page 3, Results: 33