Изменения

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

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

Нет изменений в размере, 23:50, 15 ноября 2016
Деление
<tex> \mathrm{divide}(x,y) = \lfloor \dfrac{x}{y} \rfloor </tex>, если <tex> y > 0 </tex>. Если же <tex> y = 0 </tex>, то <tex> \mathrm{divide}(x,0) </tex> и все связанные с делением функции равны каким то ,не интересными для нас, числами.
Сначала определим <tex> \mathrm{divmax}(x,y) </tex> {{---}} функция равна максимальному числу меньшему или равному <tex> x </tex>,которое нацело делится на <tex> y </tex>.
<tex> \mathrm{divmax}(0,y) =\textbf 0^{1} </tex>
313
правок

Навигация