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