Изменения

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

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

1 байт добавлено, 19:40, 18 января 2013
Операции сравнения
<tex> eq_0(y+1) = h(y,eq(y)) </tex> , где <tex> h(y,eq(y)) = \textbf 0^2(x,y) </tex>
<tex> le(x,y) = eq_0(sub(x,y)) </tex>
<tex> eq(x,y) = mul(le(x,y),le(y,x)) </tex>
Анонимный участник

Навигация