МЭИ. Прометей. КМ-2. Вывод в логических системах. Тестирование - 80%

Раздел
Математические дисциплины
Тип
Просмотров
109
Покупок
0
Антиплагиат
Не указан
Размещена
2 Ноя 2023 в 16:45
ВУЗ
МЭИ
Курс
3 курс
Стоимость
399 ₽
Демо-файлы   
1
png
result result
24.9 Кбайт 24.9 Кбайт
Файлы работы   
1
Каждая работа проверяется на плагиат, на момент публикации уникальность составляет не менее 40% по системе проверки eTXT.
zip
1
1.4 Мбайт 399 ₽
Описание

80% при совпадении вопросов.

1 На множестве людей задан предикат D(x, y) , что означает « x дружит с y - ком». Какая из приведенных формул исчисления предикатов означает: «У каждого человека есть друг»:

2 Являются ли две приведенные формулы исчисления высказываний равносильными? ((B&A⟶C)⟶(B∨C⟶B&¬A))⟶B&C и B&C

3 Формулу исчисления предикатов ∀x ∃y (A(x) & C(x) & (S(x, y) ∨ A(y))) необходимо привести к Сколемовской стандартной форме. Какой вариант преобразования будет правильным:

4 Дана формула логики высказываний (A & (B ∨ ¬C)) ⟶ А. Сколько интерпретаций данной формулы существует:

5 Какие пары формул исчисления высказываний, приведенные ниже, не являются равносильными:

6 Какая логическая операция задана таблицей:

7 Утверждение Неверно, что если погода пасмурная (П), то дождь идёт (Д) если дует ветер (В) представлено в виде формулы логики высказываний. Выберите правильные формулы для записи этого утверждения:

8 Найдите формулу, двойственную формуле ¬ ∀x (R(x) ⟶ A(x))

9 Даны два дизъюнкта D1 = P(а) ∨ ¬P(g(y)) ∨ ¬R(x) и D2 = P(x) ∨ Q(x, z) Получить резольвенту этих дизъюнктов. Выберите вариант ответа:

10 На множестве живых существ введены предикаты: R(x) “x – рыба” и А(x) “x – акула” D(x) «х – добрый». Какая из приведенных формул исчисления предикатов имеет смысл «Все акулы -рыбы, и ни одна из акул не является доброй» :

11 Какие из приведенных формул не являются тавтологиями:

12 На множестве людей задан предикат D(x, y), что означает « x дружит с y ». Какие из приведенных формул исчисления предикатов содержат свободные переменные, и, следовательно, не могут принять конкретное значение И или Л:

13 Дана формула логики высказываний ((A⟶B&C)⟶C)⟶(A∨C⟶B) Формула приведена к дизъюнктивной нормальной форме. Укажите правильный ответ:

14 Какие из приведенных формул исчисления предикатов представлены в пренексной нормальной форме (ПНФ)

15 Имеется множество дизъюнктов S = { P ∨ Q, ¬P ∨ Q, P ∨ ¬Q, ¬P ∨ ¬Q }. Для доказательства противоречивости S были получены некоторые резольвенты. Так результатом резолюции дизъюнктов 1 и 4 стал новый дизъюнкт 5. Q ∨ ¬Q, 1. P ∨ Q, 2. ¬P ∨ Q, 3. P ∨ ¬Q, 4. ¬P ∨ ¬Q. ______________ 1. Q ∨ ¬Q, (резольвента 1 и 4) Какое из следующих утверждений справедливо:

Вам подходит эта работа?
Похожие работы
Математическая логика
Задача Задача
9 Ноя в 21:49
11 +4
0 покупок
Математическая логика
Контрольная работа Контрольная
17 Окт в 17:15
34
0 покупок
Математическая логика
Контрольная работа Контрольная
16 Авг в 19:48
75
0 покупок
Другие работы автора
Государственное и муниципальное управление
Отчет по практике Практика
3 Ноя в 18:23
37 +2
0 покупок
Юриспруденция
Отчет по практике Практика
3 Ноя в 18:18
37 +1
0 покупок
Юриспруденция
Отчет по практике Практика
3 Ноя в 18:17
45
2 покупки
Управление персоналом
Отчет по практике Практика
3 Ноя в 17:38
14
0 покупок
Менеджмент
Отчет по практике Практика
3 Ноя в 17:10
13 +1
0 покупок
Психология
Отчет по практике Практика
3 Ноя в 17:09
11 +3
0 покупок
Педагогическая психология
Отчет по практике Практика
3 Ноя в 16:53
28 +1
0 покупок
Педагогическая психология
Отчет по практике Практика
3 Ноя в 16:51
31 +1
0 покупок
Психология
Отчет по практике Практика
3 Ноя в 16:48
10
0 покупок
Психология
Отчет по практике Практика
3 Ноя в 16:44
10
0 покупок
Менеджмент
Отчет по практике Практика
3 Ноя в 16:41
10 +1
0 покупок
Юриспруденция
Отчет по практике Практика
3 Ноя в 16:39
23 +1
0 покупок
Менеджмент
Отчет по практике Практика
3 Ноя в 16:38
15 +1
0 покупок
Финансовый менеджмент
Отчет по практике Практика
3 Ноя в 16:36
11 +1
0 покупок
Экономика
Отчет по практике Практика
3 Ноя в 16:34
27
0 покупок
Экономика
Отчет по практике Практика
3 Ноя в 16:30
16
0 покупок
Экономика
Отчет по практике Практика
3 Ноя в 16:27
11
0 покупок
Темы журнала
Показать ещё
Прямой эфир