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

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

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

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

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

реляционной

релятивизацией(Верный ответ)

реальной

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

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

Множеством, перечислимым относительно всюду определенной вычислимой функции f является множество:

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

Вычислимые универсальные функции, не являющиеся главными:

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

Множество номеров нигде не определенной функции:

Для $\alpha$ - всюду определенной функции, $\alpha$ -вычислимая функция двух аргументов являющаяся универсальной:

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

Если U - главная вычислимая универсальная функция для класса вычислимых одноместных функций, то существует для произвольной вычислимой одноместной функции h: