Изменения

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

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

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

→‎Умножения

<tex> \mathrm{prod}(x,0) = \textbf 0^1(x) </tex>

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

==== Вычитания ====

313

правок

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