Рекомендуемая категория для самостоятельной подготовки:
Реферат*
| Код |
554289 |
| Дата создания |
2022 |
| Страниц |
14
|
Мы сможем обработать ваш заказ (!) 10 июня в 12:00 [мск] Файлы будут доступны для скачивания только после обработки заказа.
|
Содержание
Введение 3
1. Исчисления предикатов 4
2. Методы поиска решений на основе исчисления предикатов 7
3. Метод резолюций 9
Заключение 13
Список использованных источников 14
Введение
Актуальность. Исторически логика занимается изучением способов рассуждений, которые позволяли бы из истинных суждений-посылок всегда получать истинные суждения-заключения. Для современной логики характерно построение различного рода формализованных теорий логического рассуждения (логических исчислений................
Целью данной работы является рассмотрение метода резолюций в логике предикатов.
Задачи работы:
1) ознакомиться с понятием предиката;
2) рассмотреть понятие исчисления предикатов;
3) изучить логический вывод на основе исчисления предикатов методом резолюций.
Фрагмент работы для ознакомления
Работа написана по ГОСТ, шрифт 14, интервал 1,5, выравнивание по ширине, Times new roman, сноски в квадратных скобках, источники за последние 5 лет.
Список литературы
1. Гринченков Д. В. Математическая логика и теория алгоритмов для программистов: учебное пособие / Д. В. Гринченков, С. И. Потоцкий. – М.: КноРус, 2018. – 206 с.
2. Ездаков А.Л. Функциональное и логическое программирование: Учебное пособие / А.Л. Ездаков. - М.: Бином. Лаборатория знаний, 2019. – 119 c.
3. Идиатулин В.С. Математическая логика. Курс лекций. Задачник-практикум и решения: Учебное пособие. 4-е изд. / В.С. Идиатулин. - СПб.: Лань П, 2018. – 288 c.
............
всего 7
Пожалуйста, внимательно изучайте содержание и фрагменты работы. Деньги за приобретённые готовые работы по причине несоответствия данной работы вашим требованиям или её уникальности не возвращаются.
* Категория работы носит оценочный характер в соответствии с качественными и количественными параметрами предоставляемого материала. Данный материал ни целиком, ни любая из его частей не является готовым научным трудом, выпускной квалификационной работой, научным докладом или иной работой, предусмотренной государственной системой научной аттестации или необходимой для прохождения промежуточной или итоговой аттестации. Данный материал представляет собой субъективный результат обработки, структурирования и форматирования собранной его автором информации и предназначен, прежде всего, для использования в качестве источника для самостоятельной подготовки работы указанной тематики.
bmt: 0.00501