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

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

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

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

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

$V = \{ < x,y >:< y,f(y) \in W \}$

$V = \{ < x,y >:< x,y >, < f(x),f(y) \in W \}$

$V = \{ < x,y >:< x,f(y) \in W \}$ (Верный ответ)

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

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

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

Множество натуральных чисел X перечислимо, если оно:

Множество X из N перечислимо тогда и только тогда, когда:

Если дополнение неразрешимого множества перечислимо, то само множество:

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

Объединение перечислимых множеств А и В всегда перечислимо:

Декартово произведение перечислимых множеств А и В перечислимо:

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