Изменения

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

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

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

→‎Арифметические операции на примитивно рекурсивных функциях

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

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

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

313

правок

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