А.А. Набебин. Логика и пролог в дискретной математике

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

Издательство: МЭИ
Год: 1996
Формат: pdf
Страниц: 454
Язык: русский

 

Скачать книгу (38,1 МБ):