Доказать, что функция примитивно-рекурсивна

Доказать, что функция примитивно рекурсивна
{f}_{9}(x,y)=max(x,y)

Доказать, что функция примитивно рекурсивна
Доказать, что функция примитивно рекурсивна f(y)=y^4

Доказать что функция примитивно (частично) рекурсивна
Доказать что функция примитивно (частично) рекурсивна

Доказать, что функция примитивно-рекурсивная
Доказать, что функция примитивно-рекурсивная f(x)={x}^{y}

Доказать, что предикат является примитивно рекурсивным
Доказать что предикат P(e,x,t) является примитивно рекурсивным: P(e,x,t) - машина Тьюринга с...

Докажите, что функция является примитивно-рекурсивной
Докажите, что функция является примитивно-рекурсивной f(x)=2^x

Доказать, что предикат является (или не является) (примитивно) рекурсивным
Нужна курсовая по теме. Если у кого то есть хоть какая то информация - буду очень признателен. ...

Доказать, что предикат является (или не является) (примитивно) рекурсивным
Доказать, что предикат ¬¬B⊃B является (или не является) (примитивно) рекурсивным: «х есть геделев...