Главная / Основы программирования / Какими свойствами должен обладать инвариант цикла?

Какими свойствами должен обладать инвариант цикла?

вопрос

Правильный ответ:

быть достаточно слабым, чтобы его можно было применить к некоторому начальному подмножеству данных, возможно пустому (эту роль выполняет инициализация цикла)
быть достаточно гибким, чтобы можно было расширять множество, сохраняя истинность инварианта (эту роль выполняет тело цикла)
быть достаточно мощным, чтобы его можно было использовать во всех циклах (эту роль выполняет сам инвариант)
быть достаточно сильным, чтобы из него в конъюнкции с условием выхода следовала цель цикла, когда подмножество данных расширено до всего множества
Сложность вопроса
63
Сложность курса: Основы программирования
56
Оценить вопрос
Очень сложно
Сложно
Средне
Легко
Очень легко
Комментарии:
Аноним
Я преподаватель! Оперативно уничтожьте сайт и ответы интуит. Пожалуйста
08 июн 2020
Аноним
Если бы не опубликованные подсказки - я бы не решил c этими тестами интуит.
07 фев 2019
Оставить комментарий
Другие ответы на вопросы из темы программирование интуит.