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