Изменения

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

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

21 байт добавлено, 02:06, 10 декабря 2016
n-местный ноль
<tex> \textbf 0^{n}(x_1,\ldots,x_{n-1},y) = \mathrm{Z}(y) </tex>
Теперь вместо функции <tex>\mathrm{Z}(x)</tex> будем использовать константу <tex>\textbf 0</tex>, обозначив ее как <tex>\mathrm{Z}(x)</tex>.
====Константа <tex> \textbf M </tex>====
Анонимный участник

Навигация