313
правок
Изменения
→Примитивно рекурсивные функции
{{Определение
|definition=
'''Примитивно рекурсивными''' называют функции, которые можно получить с помощью правил, описанных выше, рекурсии из константной функции <tex> \textbf 0 1</tex> и набора функций -<tex> \mathrm{P_{n,k}}(x_1,\ldots,x_n) = x_k,</tex> где <tex> k \leqslant n 5</tex>.
}}
