Задание 8

Построить Машину Тьюринга, вычисляющую функцию

Вариант	Функция	Вариант	Функция
1		11
2		12
3		13
4		14
5		15
6		16
7		17
8		18
9		19
10		20
21		23
22		24

Задание 9

Найти функции, получаемые из данной числовой функции с помощью операции минимизации по каждой ее переменной.

Вариант	n		Вариант	n
1	4		11	3
2	4		12	4
3	4		13	4
4	4		14	4
5	3		15	3
6	4		16	3
7	3		17	3
8	4		18	4
9	3		19	3
10	3		20	4
21	4		22	4

Теоретическая часть работы

1. Исчисление высказываний генценовского типа.

2. Эквивалентность формул и нормальные формы в исчислении секвенций.

3. Семантика исчисления секвенций.

4. Секвенциальное исчисление предикатов.

5. Эквивалентность формул и нормальные формы секвенциального исчисления предикатов.

6. Исчисление предикатов гильбертовского типа.

7. Двухленточные машины Тьюринга.

8. Метод резолюций в исчислении предикатов.

9. Рекурсивные функции и отношения.

10. Универсальные частично рекурсивные функции.

11. Рекурсивно перечислимые отношения.

12. Пропозициональные логики.

13. Предикатные логики.

14. Алгоритмические логики.

15. Предикатные временные логики и их приложение к программированию

16. Конечные автоматы.

17. Эквивалентность моделей алгоритмов.

18. Логические сети.

19. Организация логического вывода в исчислении предикатов.

20. Проблемы разрешимости и непротиворечивости исчисления.

21. Выполнимость и общезначимость предикатных формул.

22. Теорема дедукции в исчислении предикатов.

23. Аксиоматические системы исчисления высказываний.