Главная / Объектное программирование в классах на С# 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
Оставить комментарий
Другие ответы на вопросы из темы программирование интуит.