Рекурсивная функция (теория вычислимости): различия между версиями

(отмена правки 81009080 участника Well very well (обс) было правильно)
: <math>G(x,\;y,\;z)=Sum(I_3^1(x,\;y,\;z),I_3^3(x,\;y,\;z))</math>.
* ''Симметрическая разность'' (абсолютная величина разности) двух натуральных чисел (<math>Sub(a,\;b)=|a-b|</math>) может быть рассмотрена в качестве примитивно рекурсивной функции двух переменных, получаемой в результате применения следующих подстановок и примитивных рекурсий:
: <math>Sub(x,\;y)=SumMax(Sub_1(x,\;y),\; Sub_2(x,\;y))</math>;
: <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)\\
Анонимный участник