Рекурсивные алгоритмы

Рекурсия является одним из наиболее мощных и, наверно, самым общим методом научного познания. Она эффективно применяется во многих прикладных и теоретических естественнонаучных дисциплинах, и стала неотъемлемой их частью.
Под индукцией понимается метод доказательства утверждений с формулировкой зависящей от натурального переменного , который строится на базе индукции (правильности утверждения при или ), затем утверждение полагается правильным при и проводится доказательство для .
Термин рекуррентное соотношение связан с американским научным стилем и определяет математическое задание функции с помощью рекурсии.

Введение.
Теория рекурсивных алгоритмов.
Дескриптивная теория.
Метрическая теория.
Программная реализация рекурсии.
Общие принципы реализации.
Пример: компилятор Turbo Pascal 7.0.
Заключение.
Список использованной литературы.