1
Шаг 1. Понятие вычислимой функции
Шаг 2. Примитивно рекурсивные функции. Основные свойства
Шаг 3. Основные свойства операции подстановки
Шаг 4. Основные свойства операции примитивной рекурсии
Шаг 5. Основные свойства примитивно рекурсивной функции
Шаг 6. Примитивно рекурсивные функции относительно совокупности функций
Шаг 7. Производные операции над функциями
Шаг 8. Операции конечного суммирования и конечного произведения
Шаг 9. Понятие предиката и логической функции. Логические операции с предикатами
Шаг 10. Операции навешивания кванторов
Шаг 11. Примитивно рекурсивный предикат
Шаг 12. Операция навешивания ограниченного квантора над предикатами
Шаг 13. Кусочное задание функции
Шаг 14. Операция ограниченной минимизации
Шаг 15. Частично рекурсивные функции
Шаг 16. Рекурсия и итерация
Шаг 17. Связь между рекурсией и итерацией
Шаг 18. Реализация механизма рекурсии
1