Математическая логика и теория алгоритмов

ID: 199508
Дата закачки: 19 Марта 2019
Продавец: Aleksey0697 (Напишите, если есть вопросы)
Посмотреть другие работы этого продавца

Тип работы: Работа Расчетно-графическая
Сдано в учебном заведении: ******* Не известно

Описание:
1)Проверить полноту системы логических функций, используя критерий Поста.
Заполнение таблицы Поста должно быть обоснованным. Если система не
полна, то достроить ее до полной. К системе добавить функции {0, 1, ¬}
(константу 0, константу 1, отрицание) Из полученного множества функций
выбрать все полные подсистемы. (5б.)
2)Когда у меня есть свободное время, я читаю книги. Если книга попадается скучная, я
засыпаю. Сегодня у меня есть свободное время и мне посоветовали интересную книгу.
Значит, сегодня я не сплю все ночь.
3)Построить машину Тьюринга для перевода из начальной конфигурации в
заключительную. На ленте МТ записаны нули и единицы, при этом пустые
ячейки содержат нули. Пояснения по построению программы для МТ
обязательны(8б)
14. Проверить работу машины Тьюринга для конкретных значений x,y и
нарисовать граф, соответствующий построенной МТ. (2 б.)

Размер файла: 153,6 Кбайт
Фаил: