Изменения

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

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

1 байт добавлено, 19:40, 18 января 2013

→‎Операции сравнения

<tex> le(x,y) = eq_0(sub(x,y) </tex>

<tex> eq(x,y) = mul(le(x,y),le(y,x)) </tex>

Анонимный участник

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/30283»