Изменения

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

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

25 байт убрано, 20:58, 4 декабря 2016

→‎Сложение

\end{array}\right.</tex>

Можно преобразовать в более простой вид, заменив функции <tex> \mathrm{f} </tex>, <tex> \mathrm{g~~} </tex> и <tex>\mathrm{R~~}</tex>.

<tex> \mathrm{sum}(x,0) = x </tex>

313

правок

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