Choice of metadata Retro Books
Page 1, Results: 6
Report on unfulfilled requests: 0
1.
Подробнее
Е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)
2.
Подробнее
Е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)
3.
Подробнее
Ж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)
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
Математическая логика [Текст] : учебное пособие / Л.А.Латонин, Ю.А.Макаренков, В.В.Николаева, А.А.Столяр.Под общей ред. А.А.Столярова. - Минск : Вышэйшая школа, 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)
6.
Подробнее
Н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 1, Results: 6