Новые поступления (книга в стадии обработки) Игошин, Владимир Иванович. Математическая логика и теория алгоритмов [Текст] : учеб. пособ. для студентов физ.-мат. спец. пед. ин-тов / Владимир Иванович Игошин. - Саратов : Издательство Саратовского университета, 1991. - 255, [2] c. - Библиогр. - ISBN 5-292-00259-3 (в пер.) : 25.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- исчисления высказываний -- логика предикатов -- булевы функции Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Гуц, Александр Константинович. Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студентов, обучающихся по специальности "Компьютерная безопасность" и специальности "Вычислительные машины, комплексы, системы и сети" / А. К. Гуц ; . - Омск : Наследие. Диалог Сибирь, 2003. - 107, [1] с. - ISBN 5-8239-0126-7 : 55.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |