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