Изменения

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

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

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

Навигация