Предикат, описывающий максимально широкое множество в пространстве состояний переменных программы S, на котором гарантируется получение постусловия R называется:

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

• # Для того чтобы стать профессионалом в программировании, необходимы:
• # Нахождение выпуклой оболочки последовательно поступающих точек плоскости и вычисление двух ее метрических характеристик относится к задачам:
• # Следующая спецификация:{i=0}"i++;"{i=1}:
• # Описание того, что происходит с множеством переменных программы в процессе выполнения цикла называется:
• # В чем причина того, что метод добавления дизъюнктивного члена не применяется: