Изменения

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

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

8 байт убрано, 19:21, 27 ноября 2016
Примитивно рекурсивные функции
{{Определение
|definition=
'''Примитивно рекурсивными''' называют функции, которые можно получить с помощью правил подстановки и рекурсии из константной функции <tex> \textbf 0 </tex>, функции <tex> \mathrm{IN}(x) = x + 1, </tex> и набора функций <tex> \mathrm{P_{n,k}}(x_1,\ldots,x_n) = x_k,</tex> где <tex> k \leqslant n </tex>.
}}
313
правок

Навигация