Изменения

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

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

Нет изменений в размере, 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>
ExileHell
313
правок
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/56345»

Навигация