Изменения

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

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

1 байт убрано, 02:08, 10 декабря 2016
Операции сравнения
<tex> \mathrm{eq_0}(0) =\mathrm{N}(0) </tex>
<tex> \mathrm{eq_0}(y) = \mathrm{h}(y-1,\mathrm{eq}(y-1)) </tex> , где <tex> \mathrm{h}(y-1,\mathrm{eq}(y-1)) = \textbf 0^2mathrm{Z}(x,y-1) </tex>
Теперь все остальные функции
Анонимный участник

Навигация