«Математическая логика и теория алгоритмов для программистов» Сергей Иванович Потоцкий, Дмитрий Валерьевич Гринченков
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить практические навыки по использованию методов математической логики и теории алгоритмов для решения практических задач и их программной реализации.Для студентов вузов, обучающихся по специальностям «Программное обеспечение вычислительной техники и...
Подробнее смотрите здесь: https://izbe.ru/book/matematicheskaya-logika-i-teoriya-algoritmov-dlya-programmistov-dmitriy-grinchenkov-sergey-potockiy-2797606/
