Пока не сдавала работу, но работа хорошо написана. Автор хоть и новый на сайте, но очень ответственный!
Информация о работе
Подробнее о работе
Логический вывод на основе исчисления предикатов
- 16 страниц
- 2020 год
- 1 просмотр
- 0 покупок
Гарантия сервиса Автор24
Уникальность не ниже 50%
Фрагменты работ
Логика предикатов первого порядка является дальнейшим развитием традиционной логики Аристотеля и логики высказываний. Одним из ключевых понятий логики высказываний является непосредственно высказывание – выражение, записанное с помощью определенного синтаксиса, которому можно приписать истинностное .............
Целью данной работы является рассмотрение логического вывода на основе исчисления предикатов.
Задачи работы:
1) ознакомиться с понятием предиката;
2) рассмотреть понятие исчисления предикатов;
3) изучить логический вывод на основе исчисления предикатов.
Введение 3
1. Исчисления предикатов 5
2. Методы поиска решений на основе исчисления предикатов 8
Заключение 14
Список используемых источников 16
Работа написана по ГОСТ, шрифт 14, интервал 1,5, выравнивание по ширине, Times new roman, сноски в квадратных скобках, источники за последние 5 лет.
1. Колмогоров А.Н., Драгалин А.Н. Математическая логика. М.: Едиториал УРСС, 2013. – 27 с.
2. Косовский Н.К. Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: Учеб. пособие. Л.: Изд-во Ленингр. ун-та, 2015. – 18 с.
.........
всего 6
Форма заказа новой работы
Не подошла эта работа?
Закажи новую работу, сделанную по твоим требованиям
