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

Сущность принципа резолюций в логике высказываний. Доказательства невыполнимости, основанные на данном принципе. Правила и примеры использования метода доказательства теорем через поиск противоречий. Стратегии решении задач в алгебре предикатов.

Рубрика Математика
Предмет Математическая логика и теория алгоритмов
Вид курсовая работа
Язык русский
Прислал(а) Красножон Е.А.
Дата добавления 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

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.