Изменения

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

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

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

Навигация