Изменения
Перейти к:
навигация
,
поиск
← Предыдущая правка
Следующая правка →
Примитивно рекурсивные функции
3 байта добавлено
,
02:10, 10 декабря 2016
→
Вычитания
Рассмотрим сначала вычитания единицы <tex> \mathrm{sub_{1}}(x) = x - 1 </tex>
<tex> \mathrm{sub_1}(0) = \mathrm{Z}
(0)
</tex>
<tex> \mathrm{sub_1}(x+1) = x </tex>
Анонимный участник
91.151.202.175
Навигация
Персональные инструменты
Создать учётную запись
Войти
Пространства имён
Статья
Обсуждение
Варианты
Просмотры
Читать
Просмотр вики-текста
История
Ещё
Поиск
Навигация
Заглавная страница
Свежие правки
Случайная статья
Справка
Инструменты
Спецстраницы