Создан заказ №3516873
6 января 2019
Контрольная работа по логическому программированию.
Как заказчик описал требования к работе:
2 вопроса
Прим:
1. Доказать методом резолюций для логики высказываний последнее из утверждений:
Если он хорошо соображает, то он умный. Если он умный и трудолюбивый, то он сдаст сессию и станет отличником. Он плохо соображает. Станет ли он отличником?
2. Запишите рассуждения на языке логики преди
катов и проверьте его правильность.
Ни один преподаватель не студент. Все студенты сдают экзамены. Следовательно, некоторые лица, сдающие экзамены, не преподаватели
подробнее
Заказчик
заплатил
заплатил
200 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
7 января 2019
Заказ завершен, заказчик получил финальный файл с работой
5
Контрольная работа по логическому программированию..docx
2019-01-10 21:05
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
Хорошая работа, спасибо. Были незначительные замечания, которые были справлены без лишних вопросов в очень короткие сроки.
Хочешь такую же работу?
300 ₽
