Курсовая работа, МОИИ, часть 2. Подробно раскрыты понятия логического выражения, формулы, доказательство,

интерпретация, истинность, разрешимость, сематнический и синтаксический смысл формул, ....

Рассмотрена логика высказываний, и логика предикатов 1 п, рассмотрены основные методы автоматического доказательства

теорем как в ЛВ, так и в ЛП, такие как метод Эрбрана, метод резолюций, метод аналитических таблиц и др.

Спроектирована и реализована C++-программа для доказательства логических выражений в ЛВ произв. размера

с использованием метода аналитических аблиц. Описано тестирование работы программы с примерами конкретных

логических выражений и их сравнение с ручным доказательством. Проработано введение, постановка цели и задачи,

заключение. Есть две версии: подробная и сокращенная.

Продам недорого.