Изменения

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

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

57 байт убрано, 20:49, 27 ноября 2016
→‎Сложение
<tex> \mathrm{sum}(x,0) = x </tex>
<tex> \mathrm{sum}(x,y+1) = \\mathrm{hN}(x,y,\mathrm{sum}(x,y)) </tex> , где <tex> \mathrm{h}(x,y,z)=\mathrm{N}(z) </tex>
===== Умножения =====
ExileHell
313
правок
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/56366»

Навигация