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

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

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

Вычислимая всюду определенная функция двух аргументов, универсальная для класса всех вычислимых функций одного аргумента:

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

Варианты ответа
не существует(Верный ответ)
существует, если всюду определена
существует
Похожие вопросы
Вычислимая функция двух аргументов, являющаяся универсальной функцией для класса вычислимых функций одного аргумента:
Вычислимая функция трех аргументов, универсальная для класса вычислимых функций двух аргументов:
Если U(n,x) - главная вычислимая универсальная функция для класса всех вычислимых одноместных функций, то тогда:
Если U -двухместная главная универсальная функция для класса вычислимых функций одного аргумента, то для всех p, q, x:
Если U - главная вычислимая универсальная функция для класса вычислимых одноместных функций, то существует для произвольной вычислимой одноместной функции h:
Всякая универсальная функция для класса вычислимых одноместных функций задает:
Множество X - эффективно неперечислимо, если существует всюду определенная вычислимая W-универсальная функция f:
Функция U(n,m), n,m \in N - универсальна для класса вычислимых функций одного аргумента, если для каждого n:
Для \alpha - всюду определенной функции, \alpha-вычислимая функция двух аргументов являющаяся универсальной:
Вычислимая функция, не имеющая всюду определенного вычислимого продолжения: