Изменения

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

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

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

Навигация