Изменения

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

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

55 байт убрано, 20:45, 10 декабря 2016
м
Деление
==== Деление ====
<tex> \mathrm{divide}(x,y) = \Bigl \lfloor \dfrac{x}{y} \Bigr \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>.

Навигация