Изменения

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

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

8 байт убрано, 23:52, 15 ноября 2016
Операции сравнения
Сначала выразим <tex> \mathrm{eq_{0}}(x) = \mathrm{eq}(x,0) </tex>
<tex> \mathrm{eq_0}(0) =\mathrm{I}(\textbf 0) </tex>
<tex> \mathrm{eq_0}(y+1) = \mathrm{h}(y,\mathrm{eq}(y)) </tex> , где <tex> \mathrm{h}(y,\mathrm{eq}(y)) = \textbf 0^2(x,y) </tex>
313
правок

Навигация