Изменения

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

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

8 байт убрано, 19:58, 18 января 2013
→‎Операции сравнения
<tex> le(x,y) = eq_0(sub(x,y)) </tex>
<tex> lowereq(x,y) = mul(le(x,y),suble(1^2(x,y),eq_0(sub(x,y))) </tex>
<tex> eqlower(x,y) = mul(le(x,y),le(I(x),P_{1,1}(y,x))) </tex>
==== Деление ====
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/30294»

Навигация