Изменения

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

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

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

Навигация