Изменения

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

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

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

→‎Сложения

<tex> \textbf M^n </tex> - n местная константа, получается аналогичным к <tex> \textbf 0^n </tex> образом.

===== ~~Сложения~~ Сложение =====

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

313

правок

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