Изменения

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

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

32 байта убрано, 00:02, 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>\mathrm{R}(x, y) =\left\{\begin{array} {ll}
x & y = 0\\
\mathrm{N}(\mathrm{R}(x, y-1)) & y > 0
\end{array}\right. = </tex>
<tex>\mathrm{sum}(x, y) =\left\{\begin{array} {ll}
x & y = 0\\
\mathrm{N}(\mathrm{sum}(x, y-1)) & y > 0
Анонимный участник

Навигация