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

Раздел
Программирование
Просмотров
367
Покупок
0
Антиплагиат
Не указан
Размещена
18 Апр 2021 в 21:10
ВУЗ
МЭИ ИДДО
Курс
3 курс
Стоимость
1 000 ₽
Файлы работы   
1
Каждая работа проверяется на плагиат, на момент публикации уникальность составляет не менее 40% по системе проверки eTXT.
docx
Интеллектуальные информационные системы 3 вариант
33.1 Кбайт 1 000 ₽
Описание

Задание 1 Построение таблиц истинности.

Построить таблицу истинности для заданной формулы.

3. (A & C Ú A & ØB & ØC Ú A & B & ØC) & (C Ú A & B & C)

Задание 2 Упростить выражение (левую часть):

3.  (A Ú B Ú C & Ø(A Ú B) Ú B & Ø(A Ú D)) & (A Ú C & ØA Ú A & B & C) = A Ú C

Задание 3 Представить в ДНФ и КНФ следующие формулы:

3. Ø(Ø(A & C Ú ØB & ØC) Ú ØA & B) Ú Ø(ØA Ú ØB)

Задание 4 Формализовать представленные рассуждения в виде формул алгебры логики

3. Если я пойду на свидание или мой друг захочет встретиться со мной, то я увижу свою любимую девушку и подарю ей цветы. Если я увижу свою любимую девушку, то мой друг будет недоволен. Мой друг всегда бывает доволен. Следовательно, я не пойду на свидание.

Задание 5 Для формализованного в задаче 4 рассуждения доказать логическое следствие заключения из посылок.

Оглавление

Задание 6

3)    1.Пусть M(x, y) означает «река х впадает в реку y» Что означают утверждения: M(Ока, Волга) M(Ока, Нева) "xM(x, Волга) Какие из них истинны, какие нет?

 2.Введен предикат Б(x, y) «х брат y -ка» Как записать утверждения: «Петя брат Сергея» «У Вани есть братья» «Если Петр брат Сергея, то Сергей брат Петра»

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

3. Ваня - мальчик, у которого нет автомобиля. Марго любит только мальчиков, имеющих автомобили. Следовательно, Марго не любит Ваню.

Задание 8 Доказать справедливость рассуждения на языке ИП. Построить множество дизъюнктов для рассуждения. Для этого привести посылки и отрицание заключения к ПНФ, а затем к Сколемовской стандартной форме. Использовать формализацию из задания № 7.

3. Ваня - мальчик, у которого нет автомобиля. Марго любит только мальчиков, имеющих автомобили. Следовательно, Марго не любит Ваню.

Список литературы

Задание 9 Доказать справедливость рассуждения (взять свой вариант из задания на исчисление высказываний) методом резолюции

3. Если я пойду на свидание или мой друг захочет встретиться со мной, то я увижу свою любимую девушку и подарю ей цветы. Если я увижу свою любимую девушку, то мой друг будет недоволен. Мой друг всегда бывает доволен. Следовательно, я не пойду на свидание.

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

3. Ваня - мальчик, у которого нет автомобиля. Марго любит только мальчиков, имеющих автомобили. Следовательно, Марго не любит Ваню.

Вам подходит эта работа?
Похожие работы
Информационные системы
Тест Тест
1 Ноя в 21:31
39 +3
0 покупок
Информационные системы
Лабораторная работа Лабораторная
1 Ноя в 19:17
22 +3
0 покупок
Информационные системы
Тест Тест
31 Окт в 23:03
58 +4
0 покупок
Информационные системы
Отчет по практике Практика
31 Окт в 11:24
24 +3
0 покупок
Другие работы автора
Информационная безопасность
Лабораторная работа Лабораторная
28 Апр 2021 в 20:37
350 +1
0 покупок
Компьютерные сети и системы
Контрольная работа Контрольная
18 Апр 2021 в 21:22
322 +1
0 покупок
Информационные системы
Контрольная работа Контрольная
18 Апр 2021 в 21:04
285 +2
1 покупка
Информационные системы
Контрольная работа Контрольная
18 Апр 2021 в 20:59
399 +1
8 покупок
Метрология
Контрольная работа Контрольная
18 Апр 2021 в 20:53
319 +1
0 покупок
Информационные технологии
Контрольная работа Контрольная
18 Апр 2021 в 20:49
308 +1
0 покупок
Информационные системы
Задача Задача
18 Апр 2021 в 13:23
582 +1
3 покупки
Информационные системы
Контрольная работа Контрольная
18 Апр 2021 в 13:16
420 +1
0 покупок
Основы программирования
Контрольная работа Контрольная
18 Апр 2021 в 13:01
350
0 покупок
Основы программирования
Курсовая работа Курсовая
18 Апр 2021 в 12:56
334
0 покупок
Основы программирования
Лабораторная работа Лабораторная
18 Апр 2021 в 12:50
278 +1
0 покупок
Схемотехника
Лабораторная работа Лабораторная
17 Апр 2021 в 19:13
297
0 покупок
Цифровая обработка сигнала
Лабораторная работа Лабораторная
17 Апр 2021 в 19:04
466
2 покупки
Экология
Контрольная работа Контрольная
17 Апр 2021 в 19:01
284
0 покупок
Экология
Контрольная работа Контрольная
17 Апр 2021 в 18:58
247 +1
0 покупок
Электроника
Контрольная работа Контрольная
17 Апр 2021 в 17:40
286 +1
0 покупок
Электротехника
Курсовая работа Курсовая
17 Апр 2021 в 17:34
256
0 покупок
Электротехника
Курсовая работа Курсовая
17 Апр 2021 в 17:27
288 +1
0 покупок
Электротехника
Курсовая работа Курсовая
17 Апр 2021 в 17:20
260 +1
0 покупок
Информатика
Дипломная работа Дипломная
16 Апр 2021 в 17:52
394 +1
1 покупка
Темы журнала
Показать ещё
Прямой эфир