Изменения

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

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

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

Навигация