Контрольные и курсовые по математической логике и теории алгоритмов для СибГУТИ

Вариант 19. Построить машину Тьюринга для перевода из одной конфигурации в другую

Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. Проверить работу машины Тьюринга для конкретных значений x, y, z.

Вариант 5. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом

Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций. Решение. Высказывание будет выводимо, если, где, Построим таблицу истинности.высказывание невыводимо. Пусть W - множество людей.

Вариант 6. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом

Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций. Решение. Заданное высказывание будет выводимым, если конъюнкция входящих в него формул будет тавтологией. По таблице истинности видно, что при любых значениях А и В конъюнкция б