Изменения

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

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

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

Навигация