Изменения

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

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

81 байт убрано, 21:44, 27 ноября 2016
IF
<tex> \mathrm{if}(0,x,y) = y </tex>
<tex> \mathrm{if}(c+1,x,y) = \mathrm{h}(c,x,y,\mathrm{if}(c,x,y)) </tex> , где <tex> \mathrm{h}(c,x,y,d) = x </tex>
===== Деление =====
313
правок

Навигация