Вход

Логический вывод на основе исчисления предикатов

Рекомендуемая категория для самостоятельной подготовки:
Реферат*
Код 473633
Дата создания 2021
Страниц 16
Мы сможем обработать ваш заказ (!) 29 марта в 18:00 [мск]
Файлы будут доступны для скачивания только после обработки заказа.
850руб.
КУПИТЬ

Содержание

Введение 3
1. Исчисления предикатов 5
2. Методы поиска решений на основе исчисления предикатов 8
Заключение 14
Список используемых источников 16

Введение

Логика предикатов первого порядка является дальнейшим развитием традиционной логики Аристотеля и логики высказываний. Одним из ключевых понятий логики высказываний является непосредственно высказывание – выражение, записанное с помощью определенного синтаксиса, которому можно приписать истинностное .............
Целью данной работы является рассмотрение логического вывода на основе исчисления предикатов.
Задачи работы:
1) ознакомиться с понятием предиката;
2) рассмотреть понятие исчисления предикатов;
3) изучить логический вывод на основе исчисления предикатов.

Фрагмент работы для ознакомления

Работа написана по ГОСТ, шрифт 14, интервал 1,5, выравнивание по ширине, Times new roman, сноски в квадратных скобках, источники за последние 5 лет.

Список литературы

1. Колмогоров А.Н., Драгалин А.Н. Математическая логика. М.: Едиториал УРСС, 2013. – 27 с.
2. Косовский Н.К. Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: Учеб. пособие. Л.: Изд-во Ленингр. ун-та, 2015. – 18 с.
.........
всего 6
Очень похожие работы
Пожалуйста, внимательно изучайте содержание и фрагменты работы. Деньги за приобретённые готовые работы по причине несоответствия данной работы вашим требованиям или её уникальности не возвращаются.
* Категория работы носит оценочный характер в соответствии с качественными и количественными параметрами предоставляемого материала. Данный материал ни целиком, ни любая из его частей не является готовым научным трудом, выпускной квалификационной работой, научным докладом или иной работой, предусмотренной государственной системой научной аттестации или необходимой для прохождения промежуточной или итоговой аттестации. Данный материал представляет собой субъективный результат обработки, структурирования и форматирования собранной его автором информации и предназначен, прежде всего, для использования в качестве источника для самостоятельной подготовки работы указанной тематики.
bmt: 0.00478
© Рефератбанк, 2002 - 2024