Изменения

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

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

2 байта убрано, 01:58, 10 декабря 2016
Деление
Сначала определим <tex> \mathrm{divmax}(x,y) </tex> {{---}} функция равна максимальному числу меньшему или равному <tex> x</tex>, которое нацело делится на <tex> y </tex>.
<tex> \mathrm{divmax}(0,y) =\textbf Z(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>
Теперь само деления
<tex> \mathrm{divide}(0,y) =\textbf Z(0^{1} ) </tex>
<tex> \mathrm{divide}(x,y) = \mathrm{h}(x,y,\mathrm{divide}(x,y)) </tex>, где <tex> \mathrm{h}(x,y,z) = \mathrm{sum}(z,\mathrm{eq}(\mathrm{N}(x),\mathrm{divmax}(\mathrm{N}(x),y))) </tex>
Анонимный участник

Навигация