Изменения

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

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

14 байт добавлено, 19:38, 18 января 2013
→‎Операции сравнения
<tex> eq_0(0) =I(\textbf 0) </tex>
<tex> eq_0(y+1) = h(y,eq(y))</tex> , где <tex> h(y,eq(y)) = \textbf 0^2(x,y) </tex>
==== Деление ====
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/30281»

Навигация