Изменения

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

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

17 байт убрано, 19:07, 4 декабря 2016
Рекурсивные функции
<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>.
Анонимный участник

Навигация