( лат. recursio возвращение) такие функции, значения которых для данного аргумента вычисляются с помощью значений для предшествующих аргументов; термин, употребляемый в современных исследованиях по основаниям арифметики.