Изменения

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

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

91 байт убрано, 20:42, 27 ноября 2016
n-местный ноль
<tex> \textbf 0^{n}(x_1,\ldots,x_{n-1},0) = \textbf 0^{n-1} </tex>
<tex> \textbf 0^{n}(x_1,\ldots,x_{n-1},y+1) = \mathrm{h}(x_1,\ldots,x_{n-1},\textbf 0^{n}(y)) </tex>, где <tex> \mathrm{h}(x_1,\ldots, x_n,y) = y </tex>
=====Константа <tex> \textbf M </tex>=====
313
правок

Навигация