Изменения

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

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

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>

Анонимный участник

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/57315»