Изменения

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

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

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

Навигация