Главная /
Основы теории вычислимых функций /
Программу А со свойством "никакая программа В не является доказуемо различной с А":
Программу А со свойством "никакая программа В не является доказуемо различной с А":
вопрос
Правильный ответ:
можно построить
нельзя построить
можно верифицировать
Сложность вопроса
82
Сложность курса: Основы теории вычислимых функций
86
Оценить вопрос
Комментарии:
Аноним
Гранд мерси за решебник по интуит.
10 мар 2019
Аноним
Если бы не эти подсказки - я бы не осилил c этими тестами интуит.
25 дек 2018
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
вычислима, если существует алгоритм A(f):