Отметьте истинные высказывания
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
включение функций в состав утверждений позволяет сохранить аппликативный характер утверждений
вариант цикла изменяет значение на каждом шаге выполнения цикла(Верный ответ)
утверждения служат четырем целям: помогают в конструировании корректных программ; помогают в создании документации, помогают в отладке, являются основой механизма исключений(Верный ответ)
инвариант реализации, – часть инварианта класса – выражает корректность представления классом соответствующего АТД(Верный ответ)