Название: Логика и пролог в дискретной математике
Автор: Набебин А.А.
Издательство: МЭИ
Год: 1996
Формат: pdf
Страниц: 454
Размер: 40,64 Мб
Язык: русский

Излагаются основные понятия математической логики и формального вывода, теории графов, комбинаторики, теории конечных автоматов в ее связи с монадической логикой. Рассматривается резолютивный вывод и на его основе вводится универсальный язык программирования Пролог. Программируются некоторые алгоритмы на графах, в комбинаторике, в теории конечных автоматов при переходе от формул монадической логики к автоматам, которые эти формулы описывают.