Яворская Т.Л. - Математическая логика. Часть 1 - 11. Примитивно рекурсивные функции
Простыми словами о рекурсии
В программировании рекурсия, или же рекурсивная функция — это такая функция, которая вызывает саму себя.
Рекурсию также можно сравнить с матрёшкой. Первая кукла самая большая, за ней идёт точно такая же кукла, но поменьше...
О некоторых вопросах рекуррентных замыканий в юридической технике
В большом количестве примеров, скажем, из вот этой подборки: мы встречаемся с некоторой ситуацией, когда один раз запущенный процесс становится нескончаемым. Вообще говоря, ничем не оканчиваемый, скажем, судебный процесс (и существующий, но неоконченный) всегда создаёт некоторую правовую неопределённость (по крайней мере для суда, так как суду запрещено предрешать исход процесса; это чисто принципиальный запрет, вводимый в логику рассуждений именно для суда, то обстоятельство, что этот принцип постоянно нарушают то здесь, то там...