Рекурсивная функция (теория вычислимости): различия между версиями
[непроверенная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Строка 47:
: <math>Sub_2(x,\;y)=Sub_1(I_2^2(x,\;y),\; I_2^1(x,\;y))</math>;
: <math>\left\{\begin{array}{l}Sub_1(x,\;0)=I_1^1(x)\\
Sub_1(x,\;y+1)=f(x,\;y,\;Sub_1
: <math>f(x,\;y,\;z)=p(I_3^3(x,\;y,\;z))</math>;
: <math>\left\{\begin{array}{l}p(0)=0\\
|