Редактирование: Примитивно рекурсивные функции
Внимание! Вы не авторизовались на сайте. Ваш IP-адрес будет публично видимым, если вы будете вносить любые правки. Если вы войдёте или создадите учётную запись, правки вместо этого будут связаны с вашим именем пользователя, а также у вас появятся другие преимущества.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 13: | Строка 13: | ||
<li> <tex>\mathrm{N}</tex> {{---}} инкремент. </li> | <li> <tex>\mathrm{N}</tex> {{---}} инкремент. </li> | ||
− | <tex>\mathbb{N} \rightarrow \mathbb{N}</tex>, <tex>\mathrm{N}(x) = x'</tex>, где <tex>x' = x | + | <tex>\mathbb{N} \rightarrow \mathbb{N}</tex>, <tex>\mathrm{N}(x) = x'</tex>, где <tex>x' = x - 1</tex>. |
<li> <tex>\mathrm{U^n_i}</tex> {{---}} проекция (<tex>i</tex>-ый аргумент среди <tex>n</tex>).</li> | <li> <tex>\mathrm{U^n_i}</tex> {{---}} проекция (<tex>i</tex>-ый аргумент среди <tex>n</tex>).</li> |