Гринченков Д.В., Потоцкий С.И. Математическая логика и теория алгоритмов для программистов

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