Изменения

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

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

6 байт добавлено, 22:49, 15 ноября 2016
Нет описания правки
===== ''' n '''-местный ноль =====
<tex> \textbf 0 </tex> {{- --}} функция нуля аргументов.
Выразим сначала <tex> \textbf 0^1 </tex>
313
правок

Навигация