Изменения

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

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

13 байт добавлено, 00:42, 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>.
313
правок

Навигация