Изменения

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

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

1 байт убрано, 20:03, 18 января 2013
Операции сравнения
<tex> le(x,y) = 1 </tex> если <tex> x \le y </tex>, иначе <tex> lq(x,y) = 0 </tex>
<tex> lower(x,y) = 1 </tex> если <tex> x < y </tex>, иначе <tex> lower(x,y) = 0 </tex>
 
Сначала выразим <tex> eq_{0}(x) = eq(x,0) </tex>
Анонимный участник

Навигация