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