Создан заказ №2391147
6 ноября 2017
Реализация метода резолюции в исчислении высказываний.
Как заказчик описал требования к работе:
Здравствуйте!
Задание выглядит так:
Необходимо написать программу для решения задачи по математической логике на данную тему:
"Реализация метода резолюции в исчислении высказываний. "
К самой задаче необходим отчет, язык выполнения на усмотрение автора.
Информация для исполнителя:
в отчете и с
амой работе желательно обратить внимание на структуру данных, дать пояснения к ней (сам разбираюсь плохо, но преподаватель обращает внимание именно на этот момент), реализовывать желательно с помощью массива.
Для облегчения выполнения задачи допустили ввод сразу вида КНФ, соответственно программа может обрабатывать КНФ как исходную формулу, вводимую пользователем.
Желательно еще обратить внимание на момент с законом идемпотентности.
Delphi и C++, но требования не строгие, главное что-то общеизвестно
подробнее
Заказчик
заплатил
заплатил
200 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
7 ноября 2017
Заказ завершен, заказчик получил финальный файл с работой
5
Реализация метода резолюции в исчислении высказываний..docx
2021-02-01 18:07
Последний отзыв студента о бирже Автор24
Общая оценка
4.1
Положительно
Всё супер!
Заказывал три разные работы, всё выполнено в срок (и даже раньше), преподаватель всё принял на отлично.
Хочешь такую же работу?
300 ₽
