Изменения
→Деление
<tex> divide(x,y) = \frac{x}{y} </tex>, если <tex> y > 0 </tex>, иначе <tex> divide(x,y) = 0 </tex>
divmax(y,0) = 0divmax(y,x+1) = h(y,x,divmax(x)), где <tex> h(y,x,z) = if (x+1 - divmax(x) == y) then x+1 else y sub(I(P_{3,1}(x,y,z)t Сначала выразим <tex> mod(x,y) </tex> - модуль числа от деления.<tex> count(x,y) =
