Главная /
Объектное программирование в классах на C# 3.0 /
Рассмотрим цикл типа While - (while(B) S;) , где B - предикат, задающий условие цикла, а S - тело цикла. Только некоторые инварианты цикла, называемые подходящими инвариантами цикла, могут использоваться для доказательства корректности цикла. Какие утверж
Рассмотрим цикл типа While - (while(B) S;) , где B - предикат, задающий условие цикла, а S - тело цикла. Только некоторые инварианты цикла, называемые подходящими инвариантами цикла, могут использоваться для доказательства корректности цикла. Какие утверждения являются истинными по отношению к подходящему инварианту Inv :
вопрос
Правильный ответ:
предикат
Inv становится истинным непосредственно перед выполнением оператора цикла
предикат
Inv является инвариантом цикла while
из истинности предиката
Inv следует истинность утверждения, доказывающего корректность выполнения цикла
из истинности предиката
Inv и условия завершения цикла (Inv & !B) следует истинность утверждения, доказывающего корректность выполнения цикла Сложность вопроса
37
Сложность курса: Объектное программирование в классах на C# 3.0
74
Оценить вопрос
Комментарии:
Аноним
Спасибо за сайт
18 июл 2020
Аноним
Зачёт сдал. Бегу отмечать отмечать экзамен intuit
21 мар 2020
Аноним
Экзамен прошёл на пять. лол
13 июл 2019
Другие ответы на вопросы из темы программирование интуит.
- # Укажите истинные высказывания:
- # Корректность программы и ее тестирование - это тесно связанные понятия. Укажите высказывания, истинные для связи этих понятий:
- # Отношение "родитель - наследник" является транзитивным отношением. Транзитивность означает:
- # При множественном наследовании классов возможно возникновение проблемы "наследования от общего предка", когда два или более родительских класса имеют общего предка, от которого все они наследуют один и тот же метод. Для множественного наследования интерфейсов эта ситуация:
- # Пусть M это метод класса. Укажите утверждения, истинные для метода M :