метод определения функций, заданных на ординалах (см. Порядковое число )или вообще на множествах, наделенных ординальной структурой. Определяющее уравнение Т. р. имеет вид
где 
есть лкусок
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.
РЕКУРСИЯ — способ определения функций, являющийся объектом изучения в теории алгоритмов и других разделах математич. логики. Этот способ давно применяется в арифметике для определения числовых последовательностей (прогрессии, чисел Фибоначчи и пр.).… … Математическая энциклопедия
РЕКУРСИВНОЕ ОПРЕДЕЛЕНИЕ — часто применяемый в математике способ задания функций, при к ром значение искомой функции в данной точке определяется через ее значения в предшествующих точках (при подходящем отношении предшествования). Р. о. теоретико числовых функций являются… … Математическая энциклопедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
