Новые поступления (книга в стадии обработки) Судоплатов, Сергей Владимирович. Математическая логика и теория алгоритмов [Текст] : учеб. для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование / С. В. Судоплатов, Е. В. Овчинникова. - Москва ; Новосибирск : ИНФРА-М : Изд-во Новосиб. гос. техн. ун-та, 2004. - 223, [1] с. - (Высшее образование). - Библиогр. с. 212-214. - ISBN 5-16-001975-8 (ИНФРА-М) (в пер.). - ISBN 5-7782-0458-2 (НГТУ) : 85.50 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- исчисления высказываний -- исчисления предикатов -- моделей теория Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Овчинникова, Елена Викторовна |