М.: КНОРУС, 2010. — 207 c. — ISBN: 9785406001202
Пособие помогает освоить главные положения и математические методы
решения задач, представления знаний и построения доказательств в
формальных системах, построения описания алгоритмов с применением
разных моделей, а также получить прикладные умения по пользованию
методов математической логики и теории алгоритмов для решения
прикладных задач и их программной реализации. Для студентов вузов,
учащихся по специальностям 230105 "Программное предоставление
вычислительной техники и автоматизированных систем", 010503
"Математическое предоставление и администрирование информационных
систем" и специальностям направления "Информатика и вычислительная
техника" дневной и заочной форм обучения.
