Главная /
Основы теории вычислимых функций /
Вычислимая всюду определенная функция двух аргументов, универсальная для класса всех вычислимых функций одного аргумента:
Вычислимая всюду определенная функция двух аргументов, универсальная для класса всех вычислимых функций одного аргумента:
вопросПравильный ответ:
не существует
существует, если всюду определена
существует
Сложность вопроса
82
Сложность курса: Основы теории вычислимых функций
86
Оценить вопрос
Комментарии:
Аноним
Спасибо за ответы по intiut'у.
24 мар 2016
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
- # Функции, получаемые с помощью операций подстановки и рекурсии из константы 0, операции прибавления единицы k штук k-местных функций называют:
- # Нумерация множества X - это отображение:
- # Для доказательства неразрешимости множества X достаточно доказать, что:
- # m-сводящей X к X будет функция:
- # Тезис Тьюринга: