Изменения

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

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

Нет изменений в размере, 01:51, 10 декабря 2016

→‎Сложение

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

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

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

Анонимный участник

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