Принцип резолюций в логике высказываний. Доказательства невыполнимости, основанные на принципе резолюций. Приложения и примеры использования метода резолюций. Метод резолюций в логике предикатов. Стратегии и примеры использования метода резолюций.
При низкой оригинальности работы "Метод резолюций и его применение в алгебре высказываний и алгебре предикатов", Вы можете повысить уникальность этой работы до 80-100%
