Изменения

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

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

1 байт убрано, 02:07, 10 декабря 2016

→‎Умножения

==== Умножения ====

<tex> \mathrm{prod}(x,0) = \~~textbf 0^1~~mathrm{Z}(x) </tex>

<tex> \mathrm{prod}(x,y) = \mathrm{sum}(x,\mathrm{prod}(x,y-1)) </tex>

Анонимный участник

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/57311»