Изменения

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

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

Нет изменений в размере, 23:44, 15 ноября 2016
Сложения
<tex> \textbf M^n </tex> - <tex>n</tex>-местная константа, получается аналогичным к <tex> \textbf 0^n </tex> образом.
===== Сложения Сложение =====
<tex> \mathrm{sum}(x,0) = x </tex>
313
правок

Навигация