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