Тема 4. Алгоритмічна система рекурсивних функцій

1.

Тема 4
Алгоритмічна система рекурсивних
функцій
1. Виникнення рекурсивних функцій.
2. Основні поняття теорії рекурсивних функцій.
3. Примітивно-рекурсивні функції. Частково-рекурсивні функції.
Загально-рекурсивні функції. Теза Черча
4. Універсальні рекурсивні функції.
5. Примітивна рекурсивність предикатів.

2.

1. Виникнення рекурсивних функцій

3.

2. Основні поняття теорії рекурсивних функцій

4.

5.

6.

7.

8.

9.

10.

11.

12.

13.

14.

3. Примітивно-рекурсивні функції. Частковорекурсивні функції. Загально-рекурсивні
функції. Теза Черча

15.

16.

17.

18.

19.

20.

21.

22.

4. Універсальні рекурсивні функції

23.

24.

25.

26.

5. Примітивна рекурсивність предикатів