Изменения

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

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

72 байта убрано, 19:23, 4 декабря 2016
→‎n-местный ноль
Теперь выразим <tex> \textbf 0^n </tex>
<tex> \textbf 0^{n}(x_1,\ldots,x_{n-1},0) = \textbf 0^{n-1} </tex> <tex> \textbf 0^{n}(x_1,\ldots,x_{n-1},y) = \textbf 0^{n} </tex>
====Константа <tex> \textbf M </tex>====
ExileHell
313
правок
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/56934»

Навигация