Изменения

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

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

6 байт добавлено, 22:49, 15 ноября 2016

Нет описания правки

===== ''' n '''-местный ноль =====

<tex> \textbf 0 </tex> {{- --}} функция нуля аргументов.

Выразим сначала <tex> \textbf 0^1 </tex>

313

правок

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/55883»