Создан заказ №8241601
22 марта 2022
Решить около 9 задач по Интеллектуальные информационные системы+Экзам задание
Как заказчик описал требования к работе:
Задание 1 Построение таблиц истинности.
Построить таблицу истинности для заданной формулы.
Задание 2 Представить в ДНФ и в КНФ следующие формулы:
Задание 4 Формализовать представленные рассуждения в виде формул
алгебры логики.
Задание 5
Для формализованного в задаче 4 рассуждения доказать
логичес
кое следствие заключения из посылок.
1.Пусть M(x,y) означает «река х впадает в реку y»
Что означают утверждения:
M(Ока, Волга)
M(Днепр, Нева)
?x M(x, Волга)
Какие из них истинны, какие нет?
2.Введен предикат В(x, y) «х встречается с y -ком»
Как записать утверждения:
«Петр встречается с Машей»
«Если Петр встречается с Машей, то Маша встречается с Петром»
«Никто не встречается с Васей»
В задании 6 требуется выразить утверждения естественного языка
средствами формальной системы Исчисление предикатов 1 порядка. Также
необходимо оценить истинность или ложность записанных утверждений в
конкретной интерпретации.
Задание № 7.
Формализовать рассуждение на языке ИП: ввести необходимые предикаты,
п
подробнее
Заказчик
заплатил
заплатил
20 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
23 марта 2022
Заказ завершен, заказчик получил финальный файл с работой
5
Решить около 9 задач по Интеллектуальные информационные системы+Экзам задание.jpg
2022-03-26 00:24
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
Спасибо!!!! ВСЕ супер! Работа выполнена четко и быстро! Буду обращаться!!! Очень советую. Спасибо
Хочешь такую же работу?
300 ₽
