Изменения

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

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

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

Навигация