Difference between revisions of "Рекурсивная функция (теория вычислимости)"

→‎Примеры: исправлено
m (Удаление принудительных пробелов в формулах по ВП:РДБ.)
(→‎Примеры: исправлено)
: <math>Mul(x,\;0)=O(x)</math>;
: <math>Mul(x,\;y+1)=G(x,\;y,\;Mul(x,y))</math>;
: <math>G(x,\;y,\;z)=Sum(I_3^12(x,\;y,\;z),I_3^3(x,\;y,\;z))</math>.
* ''Симметрическая разность'' (абсолютная величина разности) двух натуральных чисел (<math>Sub(a,\;b)=|a-b|</math>) может быть рассмотрена в качестве примитивно рекурсивной функции двух переменных, получаемой в результате применения следующих подстановок и примитивных рекурсий:
: <math>Sub(x,\;y)=Sum(Sub_1(x,\;y),\; Sub_2(x,\;y))</math>;