Главная /
Объектное программирование в классах на С# 3.0 /
Рассмотрим цикл типа While - (while(B) S;) , где B - предикат, задающий условие цикла, а S - тело цикла. Только некоторые инварианты цикла, называемые подходящими инвариантами цикла, могут использоваться для доказательства корректности цикла. Какие утверж
Рассмотрим цикл типа While - (while(B) S;)
, где B
- предикат, задающий условие цикла, а S
- тело цикла. Только некоторые инварианты цикла, называемые подходящими инвариантами цикла, могут использоваться для доказательства корректности цикла. Какие утверждения являются истинными по отношению к подходящему инварианту Inv
:
вопрос
Правильный ответ:
предикат
Inv
становится истинным непосредственно перед выполнением оператора цикла
предикат
Inv
является инвариантом цикла while
из истинности предиката
Inv
следует истинность утверждения, доказывающего корректность выполнения цикла
из истинности предиката
Inv
и условия завершения цикла (Inv & !B)
следует истинность утверждения, доказывающего корректность выполнения цикла Сложность вопроса
51
Сложность курса: Объектное программирование в классах на С# 3.0
20
Оценить вопрос
Комментарии:
Аноним
Я провалил зачёт, почему я не нашёл этот сайт с ответами с тестами intuit до сессии
19 ноя 2016
Аноним
Если бы не эти решения - я бы не смог решить c этими тестами intuit.
16 апр 2016
Другие ответы на вопросы из темы программирование интуит.
- # Делегаты широко используются при задании функций высшего порядка. Укажите, какие определения функции высшего порядка являются корректными:
- # Обработчик события:
- # Укажите высказывания, истинные для конструкторов класса:
- # Понятие "интерфейс" широко используется при программировании на языке C#. Укажите контекст, в котором используется ключевое слово языка "interface":
- # Укажите основную цель введения интерфейсов в язык C#: