Основы теории вычислимых функций

<<- Назад к вопросам

Функция U(n,m), $n,m \in N$ - универсальна для класса вычислимых функций одного аргумента, если для каждого n:

(Отметьте один правильный вариант ответа.)

Варианты ответа

$U_n \colon x \mapsto x$

$U_n \colon x \mapsto U(n,x)$ (Верный ответ)

$U_n \colon n \mapsto U(n,x)$

Похожие вопросы

Если U -двухместная главная универсальная функция для класса вычислимых функций одного аргумента, то для всех p, q, x:

Если Y - класс вычислимых одноместных функций, а $X \subset Y$ , то множество $\{n\colon U_n \in X\}$ :

Если U - главная вычислимая универсальная функция для класса вычислимых одноместных функций, то существует для произвольной вычислимой одноместной функции h:

Если X - класс вычислимых одноместных функции, Y из X, Z - перечислимое неразрешимое множество, U - главная функция, то существует всюду определенная функция f со свойством:

Функция m=f(n), $m,n \in N$ вычислима, если существует алгоритм A(f):

Функции, получаемые с помощью операций подстановки и рекурсии из константы 0, операции прибавления единицы k штук k-местных функций $(x_1,x_2, \ldots ,x_n) \to x_i$ называют:

Если U(n,x) - главная вычислимая универсальная функция для класса всех вычислимых одноместных функций, то тогда:

Основы теории вычислимых функций

Функция U(n,m), - универсальна для класса вычислимых функций одного аргумента, если для каждого n:

Функция U(n,m), $n,m \in N$ - универсальна для класса вычислимых функций одного аргумента, если для каждого n: