Изменения

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

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

6 байт убрано, 00:05, 5 декабря 2016
Сложение
\mathrm{f}(x) & y = 0\\
\mathrm{g}(x, y-1,\mathrm{R}\langle{}\mathrm{f},\mathrm{g}\rangle(x, y-1)) & y > 0
\end{array}\right. = </tex>
<tex>=\left\{\begin{array} {ll}
x & y = 0\\
\mathrm{N}(\mathrm{R}(x, y-1)) & y > 0
\end{array}\right. = </tex>
<tex>=\left\{\begin{array} {ll}
Анонимный участник

Навигация