Изменения

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

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

1 байт добавлено, 02:07, 10 декабря 2016
→‎Вычитания
Рассмотрим сначала вычитания единицы <tex> \mathrm{sub_{1}}(x) = x - 1 </tex>
<tex> \mathrm{sub_1}(0) = \textbf 0 mathrm{Z} </tex>
<tex> \mathrm{sub_1}(x+1) = x </tex>
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/57312»

Навигация