Метод резолюций и его применение в алгебре высказываний и алгебре предикатов
Сущность принципа резолюций в логике высказываний. Доказательства невыполнимости, основанные на данном принципе. Правила и примеры использования метода доказательства теорем через поиск противоречий. Стратегии решении задач в алгебре предикатов.
Рубрика | Математика |
Предмет | Математическая логика и теория алгоритмов |
Вид | курсовая работа |
Язык | русский |
Прислал(а) | Красножон Е.А. |
Дата добавления | 06.02.2014 |
Размер файла | 204,1 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Построение таблицы истинности. Доказательство истинности заключения путём построения дерева доказательства или методом резолюции. Выполнение различных бинарных операций. Построение графа вывода пустой резольвенты. Основные правила исчисления предикатов.
курсовая работа [50,7 K], добавлен 28.05.2015Понятие предикатов и кванторов, порядок составления логических формул. Запись предиката как множество высказываний, формулы их исчисления. Аксиоматическое и натуральное представление узкого исчисления предикатов, погружение аристотелевской силлогистики.
контрольная работа [35,0 K], добавлен 12.08.2010Методы доказательства клаузы: с помощью резолюций и таблиц истинности. Определение ложности и истинности клаузы. Особенности составления легенды по клаузе. Составление клаузы по легенде. Определение истинности логического выражения путем конкретизации.
контрольная работа [29,9 K], добавлен 14.06.2009Особенности системы индексных обозначений. Специфика суммирования в тензорной алгебре. Главные операции в алгебре, которые называются сложением, умножением и свертыванием. Применение операции внутреннего умножения. Симметричные и антисимметричные объекты.
реферат [345,7 K], добавлен 07.12.2009Пример вычисления определителя второго порядка в общем виде. Свойства векторного произведения и их доказательства. Пример применения правила Крамера для решения систем из n уравнений с n неизвестными. Векторное произведение векторов заданных проекциями.
контрольная работа [297,9 K], добавлен 14.03.2009Порядок доказательства истинности заключения методом резолюции (с построением графа вывода пустой резольвенты) и методом дедуктивного вывода (с построением графа дедуктивного вывода). Выполнение бинарных операций и составление результирующих таблиц.
курсовая работа [185,3 K], добавлен 24.05.2015Сущность и общая характеристика метода "барона Мюнхгаузена", его применение в алгебре. Нахождение значений выражений с бесконечным числом элементов, использование формулы куба суммы и разности. "Метод барона Мюнхгаузена": золотое сечение и фракталы.
реферат [2,8 M], добавлен 18.01.2011Решения задач дискретной математики: диаграммы Эйлера-Венна; высказывание в виде формулы логики высказываний и формулы логики предикатов; СДНФ и СКНФ булевой функции. При помощи алгоритма Вонга и метода резолюции выяснить является ли клауза теоремой.
контрольная работа [133,5 K], добавлен 08.06.2010Понятие и задачи контрольной работы, ее основные достоинства и недостатки. Теоретические вопросы, выносимые на контроль на тему "Векторный метод в решении задач". Демонстрационный вариант контрольной работы по алгебре. Определение уровня знаний студентов.
контрольная работа [1,8 M], добавлен 10.07.2014Подборка комичных отрывков из конспектов студентов 4-го курса механико-математического факультета и некоторых казусных фраз и высказываний их преподавателей. Сущность и обобщение принципа Максима Понтрягина. Методика доказательства очевидного неравенства.
учебное пособие [270,9 K], добавлен 28.03.2010