Изменения

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

Примитивно рекурсивные функции

81 байт убрано, 21:44, 27 ноября 2016

→‎IF

<tex> \mathrm{if}(0,x,y) = y </tex>

<tex> \mathrm{if}(c+1,x,y~~) = \mathrm{h}(c,x,y,\mathrm{if}(c,x,y)) </tex> , где <tex> \mathrm{h}(c,x,y,d~~) = x </tex>

===== Деление =====

313

правок

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