313
правок
Изменения
→Рекурсивные функции
Рассмотрим примитивы, из которых будем собирать выражения:
<ol>
<li> <tex>\mathrm{Z}</tex>{{---}} ноль. </li>
<tex>\mathbb{N} \rightarrow \mathbb{N}</tex>, <tex>\mathrm{Z}(x) = 0</tex>
<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>
