Choice of metadata Retro Books
Page 2, Results: 18
Report on unfulfilled requests: 0
11.
Подробнее
У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)
12.
Подробнее
Е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)
13.
Подробнее
Е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)
14.
Подробнее
Ж764
Жиындар мен математикалық логиканың элементтері [Мәтін] : методикалық талдау / Авт.Н.Р.Майкотов. - Алматы. : Республикалық оқу-методика кабинеті, 1985. - 79 б. - [Б.ц.] тг.
ББК 22.12я73
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- жиындар -- функция -- алгебра -- натурал сандар -- логика -- эквивалент
Аннотация: МН
Экземпляры всего: 5
5.2-№6 оқу залы (5)
Свободны: 5.2-№6 оқу залы (5)
Ж764
Жиындар мен математикалық логиканың элементтері [Мәтін] : методикалық талдау / Авт.Н.Р.Майкотов. - Алматы. : Республикалық оқу-методика кабинеті, 1985. - 79 б. - [Б.ц.] тг.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- жиындар -- функция -- алгебра -- натурал сандар -- логика -- эквивалент
Аннотация: МН
Экземпляры всего: 5
5.2-№6 оқу залы (5)
Свободны: 5.2-№6 оқу залы (5)
15.
Подробнее
Л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)
16.
Подробнее
М340
Математическая логика [Текст] : учебное пособие / Л.А.Латонин, Ю.А.Макаренков, В.В.Николаева, А.А.Столяр.Под общей ред. А.А.Столярова. - Минск : Вышэйшая школа, 1991. - 191 с. - ISBN 5-339-00342-6 : [Б.ц.] тг., 96т. 51т. тг.
ББК 22.12я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- информатика -- логика высказываний -- логика предикатов -- алгоритмы
Экземпляры всего: 18
5.2-№6 оқу залы (15), 7-5 (2), 8-3 (1)
Свободны: 5.2-№6 оқу залы (15), 7-5 (2), 8-3 (1)
М340
Математическая логика [Текст] : учебное пособие / Л.А.Латонин, Ю.А.Макаренков, В.В.Николаева, А.А.Столяр.Под общей ред. А.А.Столярова. - Минск : Вышэйшая школа, 1991. - 191 с. - ISBN 5-339-00342-6 : [Б.ц.] тг., 96т. 51т. тг.
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- информатика -- логика высказываний -- логика предикатов -- алгоритмы
Экземпляры всего: 18
5.2-№6 оқу залы (15), 7-5 (2), 8-3 (1)
Свободны: 5.2-№6 оқу залы (15), 7-5 (2), 8-3 (1)
17.
Подробнее
Н86
Нұрсұлтанов, Қ.
Математикалық логиканың бастамалары.1-бөлім [Мәтін] : оқу құралы / Қ. Нұрсұлтанов. - Алматы : Республикалық баспа кабинеті, 1994. - 198 б. - ISBN 5838013508 : 150.00 тг., 96т. 51т. тг.
ББК 22.12я7
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- логика -- таным -- буль
Аннотация: МН
Экземпляры всего: 5
7-5 (1), 5.2-№6 оқу залы (4)
Свободны: 7-5 (1), 5.2-№6 оқу залы (4)
Н86
Нұрсұлтанов, Қ.
Математикалық логиканың бастамалары.1-бөлім [Мәтін] : оқу құралы / Қ. Нұрсұлтанов. - Алматы : Республикалық баспа кабинеті, 1994. - 198 б. - ISBN 5838013508 : 150.00 тг., 96т. 51т. тг.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
Кл.слова (ненормированные):
математика -- логика -- таным -- буль
Аннотация: МН
Экземпляры всего: 5
7-5 (1), 5.2-№6 оқу залы (4)
Свободны: 7-5 (1), 5.2-№6 оқу залы (4)
18.
Подробнее
Н860
Нұрсұлтанова, Қ.
Математикалық логика бастамалары [Мәтін] : оқу құралы. Б.2. / Қ. Нұрсұлтанова. - Алматы. : РБК, 1995. - 173 б. - ISBN 5838004547 : 96т. 51т. тг., 0т. 00т. тг., [Б.ц.] тг.
ББК 22.12я73
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
Кл.слова (ненормированные):
предикаттар -- логика -- есептер -- формулалары -- аксиоматика -- теория -- формальдық система -- алгоритм
Аннотация: ГА
Экземпляры всего: 16
6.1-1 (1), 7-5 (3), 5.2-№6 оқу залы (12)
Свободны: 6.1-1 (1), 7-5 (3), 5.2-№6 оқу залы (12)
Н860
Нұрсұлтанова, Қ.
Математикалық логика бастамалары [Мәтін] : оқу құралы. Б.2. / Қ. Нұрсұлтанова. - Алматы. : РБК, 1995. - 173 б. - ISBN 5838004547 : 96т. 51т. тг., 0т. 00т. тг., [Б.ц.] тг.
Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ
МАТЕМАТИКА
Кл.слова (ненормированные):
предикаттар -- логика -- есептер -- формулалары -- аксиоматика -- теория -- формальдық система -- алгоритм
Аннотация: ГА
Экземпляры всего: 16
6.1-1 (1), 7-5 (3), 5.2-№6 оқу залы (12)
Свободны: 6.1-1 (1), 7-5 (3), 5.2-№6 оқу залы (12)
Page 2, Results: 18