Изменения

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

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

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

Навигация