Изменения

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

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

Нет изменений в размере, 00:49, 10 декабря 2016
м
→‎Вычитания
<tex> \mathrm{sub}(x,0) = x </tex>
<tex> \mathrm{sub}(x,y+1) = \mathrm{sub_1}(\mathrm{sub}(x,y-1)) </tex>
==== Операции сравнения ====
ExileHell
313
правок
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/57274»

Навигация