Изменения

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

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

Нет изменений в размере, 20:50, 27 ноября 2016

→‎Сложение

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

<tex> \mathrm{sum}(x,y+1) = \\mathrm{N}(\mathrm{sum}(x,y)) </tex>

===== Умножения =====

313

правок

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