| engineerklub | Дата: Среда, 13.11.2024, 11:16 | Сообщение # 1 |
 Генералиссимус
Группа: Администраторы
Сообщений: 29399
Статус: Offline
| Математическая логика и теория алгоритмов. Вариант 12
Тип работы: Работа Контрольная
Форматы файлов: Microsoft Word
Сдано в учебном заведении: ДО СИБГУТИ
Описание:
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой (см. скрин).
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Намеченная атака удастся, только если захватить противника врасплох или же если он беспечен. Захватить его врасплох можно только, если он беспечен. Значит, атака удастся.
3. Пользуясь определением формулы логики предикатов проверить, что выражение является формулой. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме (см. скрин).
4. Построить машину Тьюринга для перевода из начальной конфигурации в заключительную. На ленте МТ записаны нули и единицы, пустые ячейки содержат нули. Проверить работу машины Тьюринга для конкретных значений x,y. Нарисовать граф, соответствующий построенной МТ (см. скрин).
5. Показать примитивную рекурсивность функции f(x,y) (см. скрин).
СКАЧАТЬ
|
| |
| |
