Изменения

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

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

2 байта убрано, 01:56, 10 декабря 2016
Деление
<tex> \mathrm{divmax}(0,y) =\textbf 0^{1} </tex>
<tex> \mathrm{divmax}(x,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>
Теперь само деления
Анонимный участник

Навигация