Вид документа : Однотомное издание Шифр издания : 615376 Автор(ы) : Судоплатов, Сергей Владимирович, Овчинникова, Елена Викторовна Заглавие : Математическая логика и теория алгоритмов : учеб. для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование Выходные данные : Новосибирск: Изд-во НГТУ, 2008 Колич.характеристики :223, [1] с Коллективы : Новосиб. гос. техн. ун-т Серия: Высшее образование Примечания : Библиогр.: с. 212-214. - Рекомендуется в качестве учеб. для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование ISBN, Цена 978-5-16-001975-8 (ИНФРА-М) (в пер.): 154.00 р. ISBN, Цена 978-5-7782-0458-4 (НГТУ): Б.ц. УДК : 510.5(075.8) + 510.6(075.8) Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--исчисления высказываний--исчисления предикатов--логика предикатов Экземпляры :ОУОЕН(1) Свободны : ОУОЕН(1) Доп. точки доступа: Овчинникова, Елена Викторовна