Главная /
Основы теории вычислимых функций /
Если [формула], то:
Если ![math]()
, то:
вопрос
, то:Правильный ответ:
Т - разрешимо для любого исчисления
есть исчисление, для которого
Т не разрешимо Т - всегда конечно Сложность вопроса
57
Сложность курса: Основы теории вычислимых функций
86
Оценить вопрос
Комментарии:
Аноним
Экзамен сдал на 4.
21 ноя 2016
Аноним
Кто ищет эти ответы по интуит? Это же изи
22 май 2016
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.
- # Перечислимое множество, для которого прямой пересчет его дополнения неограничен сверху вычислимой функцией является:
- # Верно утверждение:
-
#
Если
![math]()
и Y - разрешимо, то:
-
#
Множество X -
![math]()
-перечислимо тогда и только тогда, когда для некоторого перечислимого множества E:
- # Конфигурация машины Тьюринга в каждый момент времени складывается из:
и Y - разрешимо, то: 
-перечислимо тогда и только тогда, когда для некоторого перечислимого множества E: