Изменения

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

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

13 байт добавлено, 00:42, 5 декабря 2016
Константа \textbf M
====Константа <tex> \textbf M </tex>====
Константа <tex> \textbf mathrm{M </tex> равна <tex> }(x) = \underbrace{\mathrm{N}(... (\textbfmathrm{N}}_{ \text{M-1раз}}(\mathrm{Z}(x)))) </tex>
<tex> \textbf M^n </tex> {{---}} <tex>n</tex>-местная константа, получается аналогичным к <tex> \textbf 0^n </tex> образом.
Анонимный участник

Навигация