Изменения

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

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

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

Навигация