Изменения

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

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

6 байт добавлено, 01:54, 10 декабря 2016
Деление
<tex> \mathrm{divmax}(0,y) =\textbf 0^{1} </tex>
<tex> \mathrm{divmax}(x+1,y) = \mathrm{if}(\mathrm{eq}(\mathrm{sub}(\mathrm{N}(x-1),\mathrm{divmax}(x-1,y)),y),\mathrm{N}(x-1),\mathrm{divmax}(x-1,y)) </tex>
Теперь само деления
Анонимный участник

Навигация