Главная /
Основы программирования /
Какие утверждения корректны о завершении программ?
Какие утверждения корректны о завершении программ?
вопросПравильный ответ:
теорема о неразрешимости проблемы остановки утверждает, что невозможно доказать, что некоторая программа
Р
будет останавливаться на любом входе
теорема о неразрешимости проблемы остановки утверждает, что не существует алгоритма, на вход которого подавалась бы любая программа
Р
и ее входные данные, а он бы определял, остановится ли Р
на этих данных
вариант цикла – это механизм, позволяющий доказывать завершаемость
существуют завершающиеся программы, для которых формально не удается построить вариант и доказать завершаемость
Сложность вопроса
76
Сложность курса: Основы программирования
56
Оценить вопрос
Комментарии:
Аноним
Это очень намудрённый решебник intuit.
19 дек 2019
Аноним
Если бы не эти ответы - я бы сломался c этими тестами intuit.
03 апр 2017
Другие ответы на вопросы из темы программирование интуит.
- # Какие утверждения об объектах являются корректными?
- # Метод клиента, вызывающий метод М, возможно должен быть перекомпилирован, если в методе М изменения внесены только в:
- # Какие утверждения являются корректными по отношению к понятию "абстракция":
- # Какие утверждения справедливы для семантики присваивания target := source в языке Eiffel?
- # Какой набор свойств характеризует атрибут?