Вариант 13 Курс 205 |
500,00 ₽
Просмотров: 598
|
Тип работы: | Контрольная |
Название предмета: | Математическая логика и теория алгоритмов |
Тема/вариант: | Вариант 13 Курс 205 |
Объем работы: | 9 |
ВУЗ: | СибГУТИ |
Дата выполнения: | 2017-10-05 |
Размер файла, тип файла: | 355 Kb, DOC |
Прикрепленные файлы: |
Курс 205 (7510 Kb)
|
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
13.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
13. Если бы у нее было много денег, она бы ездила в институт на такси и тогда бы никогда не опаздывала. Она постоянно опаздывает. Значит, у нее много денег.
3. Пользуясь определением формулы логики предикатов проверить, что выражение является формулой. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме
13.
4. Построить машину Тьюринга для перевода из начальной конфигурации в заключительную. На ленте МТ записаны нули и единицы, пустые ячейки содержат нули, . Проверить работу машины Тьюринга для конкретных значений x,y. Нарисовать граф, соответствующий построенной МТ.
13.
5. Показать примитивную рекурсивность функции f(x,y).
13.
Сообщить другу