Создан заказ №2780573
15 марта 2018
Формализовать рассуждение на языке ИП ввести необходимые предикаты переменные константы
Как заказчик описал требования к работе:
Предмет: Интеллектуальные информационные системы
Во время работы нужно делать скрины как выполняли
Нужно сделать 10 практических заданий.
Вариант 1 если там есть вариант.
Ссылка на файл: http://rgho.st/8j7Txqg52
Фрагмент выполненной работы:
Формализовать рассуждение на языке ИП: ввести необходимые предикаты, переменные, константы. С их помощью записать в виде формул посылки и заключение.
Каждый член группы любит логику и программирование. Некоторые члены группы – девушки. Следовательно, существуют девушки, которые любят программирование.
Решение:
Прежде всего, введём предикаты, которые используются в рассуждении. Это предикаты для обозначения свойств «быть членом группы» и «быть девушкой»:
G(x) – «x – член группы»
D(x) – «x – девушка»
Также введем предикаты для обозначения «любит логику» – L(x) и «любит программирование» – P(x)
При записи формул исчисления предикатов помним: фразы «все», «каждый» «любой» и т.п. (работа была выполнена специалистами Автор 24) требуют использования квантора всеобщности. Фразы «некоторый», «кто-то», «найдётся» и т.п. требуют использования квантора существования...Посмотреть предложения по расчету стоимости
Заказчик
заплатил
заплатил
20 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
16 марта 2018
Заказ завершен, заказчик получил финальный файл с работой
5
Формализовать рассуждение на языке ИП ввести необходимые предикаты переменные константы.jpg
2019-04-02 20:12
Последний отзыв студента о бирже Автор24
Общая оценка
4
Положительно
В целом работа выполнена не плохо, но некоторые темы не были раскрыты и автор постоянно просил увеличить крайний срок, потому что не успевал
Хочешь такую же работу?
300 ₽
