Метод резолюций и его применение в алгебре высказываний и алгебре предикатов

Целью данной курсовой работы является изучение метода резолюций и применение его в логике высказываний и логике предикатов. Для этого подробно рассмотрим суть метода для логики высказываний и логики первого порядка. Остановимся на основных стратегиях, применяемых при решении задач. И, наконец, применим наш метод на практике, решив различные типы задач на данную тему.

Введение…………………………………………………………………………3
Принцип резолюций в логике высказываний…………………………………6
Доказательства невыполнимости, основанные на принципе резолюций…..11
Приложения и примеры использования метода резолюций………………...16
Метод резолюций в логике предикатов………………………………………18
Стратегии метода резолюций………………………………………………….27
Примеры использования метода резолюций…………………………………31
Заключение……………………………………………………………………..39
Список используемой литературы……………………………………………40