Изменения

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

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

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>
===== Умножения =====
313
правок

Навигация