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

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

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

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

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

Варианты ответа
существует функция - образец из Y(Верный ответ)
не существует функции - образца из Y
все вычислимые суперпозиции Y имеют образцы
Похожие вопросы
Если X - класс вычислимых одноместных функции, а Y - его подмножество, то верно утверждение:
Если X - класс вычислимых одноместных функции, Y из X, Z - перечислимое неразрешимое множество, U - главная функция, то существует всюду определенная функция f со свойством:
Если X - класс вычислимых одноместных функции, Y из X, Z - перечислимое неразрешимое множество, U - главная функция, то существует всюду определенная функция f со свойством:
Если U - главная вычислимая универсальная функция для класса вычислимых одноместных функций, то существует для произвольной вычислимой одноместной функции h:
Если U(n,x) - главная вычислимая универсальная функция для класса всех вычислимых одноместных функций, то тогда:
Если U -двухместная главная универсальная функция для класса вычислимых функций одного аргумента, то для всех p, q, x:
Функция U(n,m), n,m \in N - универсальна для класса вычислимых функций одного аргумента, если для каждого n:
Если Y - класс вычислимых одноместных функций, а X \subset Y, то множество \{n\colon U_n \in X\}:
Если U - главная универсальная функция, а X - множество натуральных чисел n, где Un - нигде не определена, то Un:
Если функция f дает по номеру m функции другой номер s этой функции, то: