| engineerklub | Дата: Вторник, 03.10.2023, 20:54 | Сообщение # 1 |
 Генералиссимус
Группа: Администраторы
Сообщений: 29644
Статус: Offline
| Математическая логика и теория алгоритмов. Вариант №21
Тип работы: Работа Контрольная
Форматы файлов: Microsoft Word
Сдано в учебном заведении: СибГУТИ
Описание:
Вариант №21
Задача 1. Построить таблицу истинности логической формулы.
((A→¬B)~¬(A→¬C))→¬(A→¬(¬B→C))
Задача 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции.
Если юноша счастлив, то либо он получил хорошую оценку, либо у него день рождения. Если юноша получил плохую оценку, то у него плохое настроение. Юноша получил плохую оценку и настроение у него хорошее. Значит, у него день рождения.
Задача 3. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. Для каждого преобразования указать, какие равносильности были использованы. Для итоговой формулы указать свободные и связанные переменные.
(∃y∃xQ(x,y)→∃yP(x,y))→∀xQ(x,y)
Задача 4. На координатной плоскости даны множества A и B (A ограничено красным цветом, B – синим, границы включены в множества). Описать предикат P_C (z), определенный на координатной плоскости, который принимает значение «истина», если точка z=(x,y) принадлежит множеству C, и значение «ложь», если точка z не принадлежит множеству C. Для записи предиката можно использовать любые логические операции и сравнение ≤.
Задача 5.
21. Дана машина Тьюринга с алфавитом A={0,1} и программой:
q_1 0⟶0Rq_2; q_1 1⟶1Hq_0; q_2 0⟶1Hq_1; q_2 1⟶1Rq_2
Определить конфигурацию, в которую переходит машина Тьюринга после выполнения не более чем 5 команд, если начальная конфигурация была:
00q_1 00010110
СКАЧАТЬ
|
| |
| |
