Функция `[sqrt(x)]` примитивно-рекурсивна, так как: `f(0)=0` и `f(x+1)=f(x)+bar(sgn)(|[(x+1)/(f(x)+1)]-f(x)-1|)`. Теперь вопрос, а будет ли функция `sqrt(x)` примитивно-рекурсивной или вообще рекурсивной? Просто попалась такая задача: будет ли функция `y=sqrt(x^2-5)` а) примитивно-рекурсивной? б) рекурсивной? Как я понял, нужно сделать так: `x^2-5=z^2, z in NN; (x-z)(x+z)=5 <=> x-z=1` и `x+z=5` или `x-z=5` и `x+z=1` . Теперь, так как `x in NN`и `z in NN`, то остается только первый вариант. Вот, а что уже делать с этим?
-
-
03.03.2014 в 01:23