Изменения

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

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

38 байт добавлено, 00:48, 10 декабря 2016

→‎Сложение

<tex>=\left\{\begin{array} {ll}

x & y = 0\\

\mathrm{N}(\mathrm{R}\langle{}\mathrm{f},\mathrm{g}\rangle(x, y-1)) & y > 0

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

313

правок

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