Изменения

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

31 байт добавлено, 20:43, 10 декабря 2016

м

→‎IF

<tex> \mathrm{lower}(x,y) = \mathrm{mul}(\mathrm{le}(x,y),\mathrm{le}(\mathrm{N}(x),y)) </tex>

==== IF Условный оператор ====

<tex> \mathrm{if}(0,x,y) = y </tex>

3622

правки