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