Какие утверждения являются корректными для понятия "инвариант цикла"?
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
у цикла может быть только один инвариант
нахождение подходящего инварианта – это творческая задача(Верный ответ)
инвариантом цикла называется условие, которое, будучи истинным перед началом итерации - выполнения тела цикла - сохраняет истинность после завершения итерации(Верный ответ)
у цикла может быть бесконечно много инвариантов(Верный ответ)
среди всех инвариантов цикла есть подходящие инварианты, позволяющие доказать корректность работы цикла(Верный ответ)