Изменения

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

Рекурсивные функции

8 байт убрано, 21:13, 18 января 2013
n -местный ноль
<tex> \textbf 0^{1}(0) = \textbf 0 </tex>
<tex> \textbf 0^{1}(y+1) = h(y,\textbf 0^{1}(y)) </tex>, где <tex> h(x,y) = P_{2,1}(x,y) </tex>
Теперь выразим <tex> \textbf 0^n </tex>
<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) = h(x_1,\ldots,x_{n-1},\textbf 0^{n}(y)) </tex>, где <tex> h(xx_1,\ldots, x_n,y) = P_{n,n}(x,y) </tex>
Константа <tex> \textbf M </tex> равна <tex> I(\textbf{M-1}) </tex>
Анонимный участник

Навигация