Изменения

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

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

11 байт добавлено, 20:32, 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
suble(z,I(x)),eq(I(x+1),z)
Сначала выразим <tex> mod(x,y) </tex> - модуль от деления.
<tex> count(x,y) =
Анонимный участник

Навигация