Создан заказ №5934625
16 декабря 2020
Задачи по математической логике и теории алгоритмов
Как заказчик описал требования к работе:
Выполнить задание по теории алгоритмов.
Результат выполнения в виде отчета.
Полные требования к выполнению и отчету прикрепил в файле, а также два примера выполнения.
"Метод резолюций в логике предикатов первого порядка".
Общая формулировка задания.
1. Выбрать самостоятельно предметную область для
формулировки в ней утверждений и фактов.
2. Сформулировать словесно:
– базу утверждений в избранной предметной области – не менее четырех;
– базу фактов;
– заключение (вопрос) по базе утверждений и фактов.
3. Выписать предикаты и указать их области определения в виде множеств. Наличие хотя бы одного двухместного предиката обязательно. Области определения задавать только для одноместных предикатов.
4. Формализовать в терминах логики предикатов первого порядка предметную область, описанную базой утверждений, фактов и заключения. Использовать логические связки.
5. Выполнить последовательно для каждой формулы: преобразование в ПНФ, сколемовскую и клаузальную формы, элиминацию кванторов всеобщности и элиминацию конъюнкций до получения множества дизъюнктов. Указать универсум Эрбрана.
6. Методом резолюций доказать или опровергнуть теорему о логическом следовании заключения из базы утверждений и фактов.
7. В случае доказанности получить конкретный ответ на вопрос заключения.
подробнее
Заказчик
заплатил
заплатил
20 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
17 декабря 2020
Заказ завершен, заказчик получил финальный файл с работой
5
Задачи по математической логике и теории алгоритмов.jpg
2020-12-20 11:26
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
Автор довел задачу до конца. Без проблем дополнял решение (так как требовал преподаватель) за что большое спасибо! Оценка 5/5
Хочешь такую же работу?
300 ₽
