Редактирование: Примитивно рекурсивные функции
Внимание! Вы не авторизовались на сайте. Ваш IP-адрес будет публично видимым, если вы будете вносить любые правки. Если вы войдёте или создадите учётную запись, правки вместо этого будут связаны с вашим именем пользователя, а также у вас появятся другие преимущества.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 108: | Строка 108: | ||
==== Вычитания ==== | ==== Вычитания ==== | ||
− | Если <tex> x | + | Если <tex> x < y </tex>, то <tex> \mathrm{sub}(x,y) = 0 </tex> , иначе <tex> \mathrm{sub}(x,y) = x - y </tex>. |
Рассмотрим сначала вычитания единицы <tex> \mathrm{sub_{1}}(x) = x - 1 </tex> | Рассмотрим сначала вычитания единицы <tex> \mathrm{sub_{1}}(x) = x - 1 </tex> |