Изменения

Перейти к: навигация, поиск

Примитивно рекурсивные функции

204 байта убрано, 19:19, 4 декабря 2016
Примитивно рекурсивные функции
{{Определение
|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>.
}}
313
правок

Навигация