Изменения
Перейти к:
навигация
,
поиск
← Предыдущая правка
Следующая правка →
Примитивно рекурсивные функции
13 байт добавлено
,
00:42, 5 декабря 2016
→
Константа \textbf M
====Константа <tex> \textbf M </tex>====
Константа
<tex> \
textbf
mathrm{
M
</tex> равна <tex>
}(x) = \underbrace{
\mathrm{N}
(...
(\
textbf
mathrm{N}}_{ \text
{M
-1
раз
}
}(\mathrm{Z}(x)))
) </tex>
<tex> \textbf M^n </tex> {{---}} <tex>n</tex>-местная константа, получается аналогичным к <tex> \textbf 0^n </tex> образом.
Анонимный участник
91.151.202.175
Навигация
Персональные инструменты
Вы не представились системе
Обсуждение
Вклад
Создать учётную запись
Войти
Пространства имён
Статья
Обсуждение
Варианты
Просмотры
Читать
Править
История
Ещё
Поиск
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Инструменты
Спецстраницы
Версия для печати