Создан заказ №692821
11 августа 2015
Сформулировать представленную ниже задачу на языке логики высказываний и проверить истинность заключений методом резолюций
Как заказчик описал требования к работе:
Нужно выполнить контрольную по информационным технологиям. Есть 6 задач и 3 теор.вопроса, срок - к 23-ему числу. Оплату обсудим в личном диалоге.
Фрагмент выполненной работы:
Сформулировать представленную ниже задачу на языке логики высказываний и проверить истинность заключений методом резолюций.
Область определения: люди этого колледжа.
1. Все выпускники Итона в этом колледже играют в крикет. 2. Никто, кроме преподавателей, не обедает за верхним столом. 3. Ни один из тех, кто играет в крикет, не умеет грести. 4. Все мои друзья в этом колледже - выпускники Итона. 5. Все преподаватели - прекрасные гребцы.
Вывод: все мои друзья обедают за нижним столом.
Решение:
Вводится множество формул, соответствующих простым высказываниям:
Х1 – человек этого колледжа - выпускник Итона;
X2 – человек этого колледжа – играет в крикет;
X3 – человек этого колледжа – преподаватель;
Х4 – человек этого колледжа – обедает за верхним столом;
Х5 – человек этого колледжа – прекрасный гребец;
X6 – человек этого колледжа – мой друг.
Тогда сами утверждения записываются в виде сложных формул:
(1)
Доказываемое утверждение выражается формулой:
(2)
Составляется множество формул с отрицанием данного высказывания:
(3)
Переводятся все предикаты в конъюнктивную нормальн...Посмотреть предложения по расчету стоимости
Заказчик
заплатил
заплатил
200 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
12 августа 2015
Заказ завершен, заказчик получил финальный файл с работой
5
Сформулировать представленную ниже задачу на языке логики высказываний и проверить истинность заключений методом резолюций.docx
2017-01-25 17:58
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
я довольна. никаких "недомолвок" не возникало (обращалась 2 раза). Советую и рекомендую))) И цена...радует автор ценами)
Хочешь такую же работу?
300 ₽
