База ответов ИНТУИТ

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

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

Если X \le_m Y и Y - перечислимо, то:

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

Варианты ответа
X - не перечислимо
X - перечислимо(Верный ответ)
Y - m-разрешимо
Похожие вопросы
Если X \le_m Y и Y - разрешимо, то:
Если X \le_m Y и Y \le_m Z, то:
Если  X \le_m Y и X - эффективно неперечислимо, то:
Множество X - \alpha-перечислимо тогда и только тогда, когда для некоторого перечислимого множества E:
Свойство A(x), x \in N перечислимо тогда и только тогда, когда:
Если Y \le_m X, то:
Если Y \le_m X, то:
Если X \le_m Y,Y \in \Pi_n, то:
Если  X \le_m Y,Y \in \Sigma_n, то:
Если Y - класс вычислимых одноместных функций, а X \subset Y, то множество \{n\colon U_n \in X\}: