Математическая логика и теория алгоритмов. Контрольная работа. Вариант №5

No1 Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
((A→B)→(A→C) )→(A→(B→C))
No2 Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
«Муравей поднимет соломинку, если ее вес не превышает собственный вес муравья более, чем в 10 раз. Муравей не будет поднимать соломинку, если она ему не нужна. Муравей не стал поднимать соломинку. Значит, либо соломинка слишком тяжелая, либо муравью не нужна соломинка.»
No3 Пользуясь определением формулы логики предикатов проверить, что выражение является формулой. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме.
(∃x∀yQ(x,y))→(∀y∃xQ(x,y))
No4 Построить машину Тьюринга для перевода из начальной конфигурации в заключительную. На ленте МТ записаны нули и единицы, пустые ячейки содержат нули, x,y≥1. Проверить работу машины Тьюринга для конкретных значений x,y. Нарисовать граф, соответствующий построенной МТ.
q_1 1^x 〖01〗^y 0=>q_0 1^x 〖01〗^y 〖01〗^x 0
No5 Показать примитивную рекурсивность функции f(x,y).
f(x,y)={█(0,y<x@1,y≥x)

Уважаемый студент, дистанционного обучения,
Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов
Вид работы: Контрольная работа 1
Оценка:Зачет
Дата оценки: 24.02.2018
Рецензия:
Мачикина Елена Павловна