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