Изменения

Перейти к: навигация, поиск

Рекурсивные функции

20 байт добавлено, 20:37, 18 января 2013
Деление
divmax(y,x+1) = h(y,x,divmax(x)), где <tex> h(y,x,z) = if (x+1 - divmax(x) == y) then x+1 else y
leadd(mul(eq(sub(z,I(x+1),z),eqP_{1,1}(y)),I(x+1)),z)
Сначала выразим <tex> mod(x,y) </tex> - модуль от деления.
<tex> count(x,y) =
Анонимный участник

Навигация