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

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

Нумерация множества X - это отображение:

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

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

заданное на множестве XхN

частично определенное $f\colon N \to X$

всюду определенное $f\colon N \to X, E(f)=X$ (Верный ответ)

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

Для любого перечислимого множества X из декартового квадрата N существует вычислимая $f\colon N \to N$ :

Непересекающиеся множества X и Y отделяются множеством Z, если:

Множество X - $\alpha$ -перечислимо тогда и только тогда, когда для некоторого перечислимого множества E:

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

Прообраз множества X для частичной функции f(n) - это:

Образ множества X для частичной функции f(n) - это:

Если U - главная универсальная функция, а X - множество натуральных чисел n, где U_n - нигде не определена, то U_n:

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

Для универсального перечислимого множества W-перечислимо множество: