Электронный каталог — Страница 2 — Библиотечно-информационный центр

База данных: Книги ретро

Страница 2, Результатов: 18

Отмеченные записи: 0

11.

Успенский, В.А. Вводный курс математической логики [Текст] / , Н.К.Верещагин, В.Е.Плиско, 2002. - 128 с.

22.12я7
У77
Успенский, В. А.
Вводный курс математической логики [Текст] / , Н.К.Верещагин, В.Е.Плиско. - М. : Физматлит, 2002. - 128 с. - ISBN 5922102788 : 1000т. 00т. тг.

УДК

510.6(075)

ББК 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)

Авторизуйтесь для получения дополнительных услуг

12.

Краткое Полное

Ершов, Ю.Л. Математическая логика [Текст] : Учебное пособие, 1979. - 318 с.

Подробнее

22.12я73
Е804
Ершов, Ю. Л.
Математическая логика [Текст] : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - М. : Наука, 1979. - 318 с. - 0т. 00т. тг.

ББК 22.12я73

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

МАТЕМАТИКА

Кл.слова (ненормированные):
исчисление -- теория множеств -- теория моделей -- теория доказательств -- логика -- высказывание -- предикаты
Доп.точки доступа:
Палютин, Е.А.

Экземпляры всего: 2
5.2-№6 оқу залы (2)
Свободны: 5.2-№6 оқу залы (2)

Авторизуйтесь для получения дополнительных услуг

13.

Краткое Полное

Ершов, Ю.Л. Математическая логика [Текст] : Учебное пособие, 1987. - 336 с.

Подробнее

22.12я73
Е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)

Авторизуйтесь для получения дополнительных услуг

14.

Краткое Полное

Жиындар мен математикалық логиканың элементтері [Мәтін] : Методикалық талдау / Авт.Н.Р.Майкотов, 1985. - 79 б.

Подробнее

22.12я73
Ж764

Жиындар мен математикалық логиканың элементтері [Мәтін] : методикалық талдау / Авт.Н.Р.Майкотов. - Алматы. : Республикалық оқу-методика кабинеті, 1985. - 79 б. - [Б.ц.] тг.

ББК 22.12я73

Рубрики: ЖАРАТЫЛЫСТАНУ ҒЫЛЫМДАРЫ

МАТЕМАТИКА

Кл.слова (ненормированные):
математика -- жиындар -- функция -- алгебра -- натурал сандар -- логика -- эквивалент
Аннотация: МН
Экземпляры всего: 5
5.2-№6 оқу залы (5)
Свободны: 5.2-№6 оқу залы (5)

Авторизуйтесь для получения дополнительных услуг

15.

Краткое Полное

Латотин, Л.А. Математическая логика [Текст] : Учебное пособие, 1991. - 269 с.

Подробнее

22.12я73
Л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)

Авторизуйтесь для получения дополнительных услуг

16.

Краткое Полное

Математическая логика [Текст] : Учебное пособие / Л.А.Латонин, Ю.А.Макаренков, В.В.Николаева, А.А.Столяр.Под общей ред. А.А.Столярова, 1991. - 191 с.

Подробнее

22.12я73
М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)

Авторизуйтесь для получения дополнительных услуг

17.

Краткое Полное

Нұрсұлтанов, Қ. Математикалық логиканың бастамалары.1-бөлім [Мәтін] : Оқу құралы, 1994. - 198 б.

Подробнее

22.12я7
Н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)

Авторизуйтесь для получения дополнительных услуг

18.

Краткое Полное

Нұрсұлтанова, Қ. Математикалық логика бастамалары [Мәтін] : Оқу құралы. Б.2., 1995. - 173 б.

Подробнее

22.12я73
Н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)

Авторизуйтесь для получения дополнительных услуг

Страница 2, Результатов: 18

Все поступления за

Или выберите интересующий месяц