Изменения

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

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

Нет изменений в размере, 19:21, 27 ноября 2016
Рекурсивные функции
<li> <tex>\mathrm{N}</tex>. </li>
<tex>\mathbb{N} \rightarrow \mathbb{N}</tex>, <tex>\mathrm{N}(x) = x'</tex>, где <tex>x' = x - + 1</tex>.
<li> Проекция.</li>
313
правок

Навигация