Реальная база готовых
студенческих работ

Авторам Вопрос-ответ

Узнайте стоимость индивидуальной работы!

Тип задания

Предмет

Ваше имя

Вы нашли то, что искали?

Да, спасибо!

Нет, пока не нашел

Узнайте стоимость индивидуальной работы

Тип задания

Предмет

Ваше имя

это быстро и бесплатно

Оформите заказ сейчас и получите скидку 100 руб.!

Тип задания

Предмет

Ваше имя

Требуется выразить утверждения естественного языка средствами формальной системы

Тип Контрольная

Предмет Интеллектуальные информационные системы

ID (номер) заказа
3706054

Просмотров

1045

Размер файла

1.3 Мб

Ознакомительный фрагмент работы:

Требуется выразить утверждения естественного языка средствами
формальной системы Исчисление предикатов 1 порядка. Также необходимо
оценить истинность или ложность записанных утверждений в конкретной
интерпретации.
1. Пусть S(x) означает «число х – делится нацело на 3»
Что означают утверждения:
S(7)
2. Какие из них истинны, какие нет?
Введен предикат L(x,y) «х любит y -ка»
Как записать утверждения:
«Марго не любит Ваню»
«Каждый любит кого-нибудь»
«Кто-то не любит никого»
Решение.
1. S(7): 7 делится нацело на 3. Ложное.
S(12): 12 делится нацело на 3. Истинное.
xCx : Любое число делится нацело на 3. Ложно.
2. «Марго не любит Ваню» - ,LМаргоВаня
«Каждый любит кого-нибудь» - ,xyLxy
«Кто-то не любит никого» - ,xyLxy

Задание 7

Формализовать рассуждение на языке ИП: ввести необходимые предикаты,
переменные, константы. С их помощью записать в виде формул посылки и
заключение.

Ни один республиканец или демократ не является социалистом. Джон -
социалист. Следовательно, Джон не республиканец.
Решение.
Прежде всего, введём предикаты, которые используются в рассуждении.
Запишем предложения в формализованном виде.

Построить множество дизъюнктов для рассуждения. Для этого привести
посылки и отрицание заключения к ПНФ, а затем к Сколемовской стандартной
форме. Методом резолюции вывести пустой (тождественно ложный) дизъюнкт из
исходного множества дизъюнктов, доказав тем самым справедливость
рассуждения.
Ни один республиканец или демократ не является социалистом. Джон -
социалист. Следовательно, Джон не республиканец.

Смотреть

Нет нужной работы в каталоге?

Сделайте индивидуальный заказ на нашем сервисе. Там эксперты помогают с учебой без посредников Разместите задание – сайт бесплатно отправит его исполнителя, и они предложат цены.

Вы работаете с экспертами напрямую. Поэтому стоимость работ приятно вас удивит

Исполнитель внесет нужные правки в работу по вашему требованию без доплат. Корректировки в максимально короткие сроки

Если работа вас не устроит – мы вернем 100% суммы заказа

Наши менеджеры всегда на связи и оперативно решат любую проблему

К работе допускаются только проверенные специалисты с высшим образованием. Проверяем диплом на оценки «хорошо» и «отлично»

1 000 +

Новых работ ежедневно

Требуются доработки?
Они включены в стоимость работы

Работы выполняют эксперты в своём деле. Они ценят свою репутацию, поэтому результат выполненной работы гарантирован

Математика

История

Экономика

159599
рейтинг

3275
работ сдано

1404
отзывов

Математика

Физика

История

157252
рейтинг

6080
работ сдано

2741
отзывов

Химия

Экономика

Биология

105734
рейтинг

2110
работ сдано

1318
отзывов

Высшая математика

Информатика

Геодезия

62710
рейтинг

1046
работ сдано

598
отзывов

Тип работы

ФГБОУ ВО \\

Отлично!!! Не ожидала ,что так оперативно будет выполнена работа!!! Спасибо большое!!!

ИвГУ

Татьяна, Спасибо!!! Выполнена работа раньше срока!!!! Быстро!!! Чувствуется - ПРОФЕССИОНАЛ!!!!

НГТУ им Алексеева

Быстро и главное, разборчивый почерк, все доходчиво и понятно!!!! СПАСИБО!!!!

Последние размещённые задания

Ежедневно эксперты готовы работать над 1000 заданиями. Контролируйте процесс написания работы в режиме онлайн

Написать отчет по практике и сделать дневник по двум рабочим местам

Отчет по практике, Бухгалтерский учет анализ и аудит

Срок сдачи к 29 авг.

1 минуту назад

Мти практика управление в технических системах

Отчет по практике, Управление в технических системах

Срок сдачи к 27 авг.

3 минуты назад

"Тема краеведения в региональных СМИ"

Курсовая, Журналистика

Срок сдачи к 10 сент.

3 минуты назад

Создание проекта-исследования/бизнес-плана

Другое, Экономика и управление на предприятии

Срок сдачи к 30 авг.

5 минут назад

Отчет по учебной практике

Отчет по практике, Отчет по учебной практике

Срок сдачи к 29 авг.

6 минут назад

Нужно сделать 6 лабораторных работ(пример на фото) в dyalog с...

Лабораторная, Методы и алгоритмы техдиагностики АЭС, детали машин, материаловедение

Срок сдачи к 1 нояб.

7 минут назад

ПП 04

Отчет по практике, Производственная практика

Срок сдачи к 29 авг.

8 минут назад

Оформить очет по практике и договор с организацией

Отчет по практике, Международный менеджмент

Срок сдачи к 20 сент.

9 минут назад

формирование представлений о высокотехнологичных и наукоёмких отраслях, инновационная деятельность банков

Отчет по практике, Банковское дело

Срок сдачи к 30 авг.

9 минут назад

Проект завода по сухому способу производства цемента

Курсовая, Технология производства цемента

Срок сдачи к 13 сент.

10 минут назад

Выполнить строго по методическим указаниям

Курсовая, Электроснабжение

Срок сдачи к 31 авг.

10 минут назад

Тесты

Другое, Сделать 2 предмета

Срок сдачи к 1 сент.

12 минут назад

Необходимо пройти дистанционно вступительное испытание в ВУЗ...

Тест дистанционно, Междисциплинарный экзамен по программе: «Информационная бизнес-аналитика»

Срок сдачи к 26 авг.

12 минут назад

индивидуальный проект 9 класс

Контрольная, изобразительное Искусство

Срок сдачи к 31 авг.

12 минут назад

Роль медицинской сестры в обучении пациентов основам здорового образа жизни и профилактике хронических заболеваний

Курсовая, Сестринское дело

Срок сдачи к 27 авг.

12 минут назад

Дневник отчет по практике

Отчет по практике, Информационная безопасность

Срок сдачи к 25 авг.

12 минут назад

Мне нужно сделать презентацию об общежитии и колледже, про то

Презентация, Мероприятие "Наша студенческая жизнь", материаловедение

Срок сдачи к 26 авг.

12 минут назад

Заполнить практику

Отчет по практике, Дошкольное образование и воспитание

Срок сдачи к 31 авг.

12 минут назад

Закажи индивидуальную работу за 1 минуту!

Размещенные на сайт контрольные, курсовые и иные категории работ (далее — Работы) и их содержимое предназначены исключительно для ознакомления, без целей коммерческого использования. Все права в отношении Работ и их содержимого принадлежат их законным правообладателям. Любое их использование возможно лишь с согласия законных правообладателей. Администрация сайта не несет ответственности за возможный вред и/или убытки, возникшие в связи с использованием Работ и их содержимого.