Пока не сдавала работу, но работа хорошо написана. Автор хоть и новый на сайте, но очень ответственный!
Информация о работе
Подробнее о работе
Метод резолюций в логике предикатов
- 14 страниц
- 2022 год
- 0 просмотров
- 0 покупок
Гарантия сервиса Автор24
Уникальность не ниже 50%
Фрагменты работ
Актуальность. Исторически логика занимается изучением способов рассуждений, которые позволяли бы из истинных суждений-посылок всегда получать истинные суждения-заключения. Для современной логики характерно построение различного рода формализованных теорий логического рассуждения (логических исчислений................
Целью данной работы является рассмотрение метода резолюций в логике предикатов.
Задачи работы:
1) ознакомиться с понятием предиката;
2) рассмотреть понятие исчисления предикатов;
3) изучить логический вывод на основе исчисления предикатов методом резолюций.
Введение 3
1. Исчисления предикатов 4
2. Методы поиска решений на основе исчисления предикатов 7
3. Метод резолюций 9
Заключение 13
Список использованных источников 14
Работа написана по ГОСТ, шрифт 14, интервал 1,5, выравнивание по ширине, Times new roman, сноски в квадратных скобках, источники за последние 5 лет.
1. Гринченков Д. В. Математическая логика и теория алгоритмов для программистов: учебное пособие / Д. В. Гринченков, С. И. Потоцкий. – М.: КноРус, 2018. – 206 с.
2. Ездаков А.Л. Функциональное и логическое программирование: Учебное пособие / А.Л. Ездаков. - М.: Бином. Лаборатория знаний, 2019. – 119 c.
3. Идиатулин В.С. Математическая логика. Курс лекций. Задачник-практикум и решения: Учебное пособие. 4-е изд. / В.С. Идиатулин. - СПб.: Лань П, 2018. – 288 c.
............
всего 7
Форма заказа новой работы
Не подошла эта работа?
Закажи новую работу, сделанную по твоим требованиям
