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