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

Универсальное перечислимое множество из N × N:

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

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

существует(Верный ответ)

существует и несчетно

не существует

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

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

Среди перечислимых множеств множество, к которому m-сводится любое перечислимое множество X:

Перечислимое множество m-полно тогда и только тогда, когда его дополнение:

Множество X из N×N - универсальное, если:

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

Множество X - эффективно неперечислимо, если существует всюду определенная вычислимая W-универсальная функция f:

Множество X - эффективно бесконечное, если алгоритм конструирования по любому n различных элементов из X:

Функция $f(n,x)=\{\mbox{if } n \in K \mbox{ then } \xi (x) \mbox{ else неопределенно} \}$ , где K -перечислимое и неразрешимое, является:

m-полное множество относительно m-сводимости - это множество: