Изменения

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

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

8 байт добавлено, 20:40, 27 ноября 2016
n-местный ноль
<tex> \textbf 0^{1}(0) = \textbf 0 </tex>
<tex> \textbf 0^{1}(y) = \textbf 0 </tex>
Теперь выразим <tex> \textbf 0^n </tex>
313
правок

Навигация