Главная / Объектное программирование в классах на C# 3.0 / Пусть P(x,z) - метод P с входными аргументами x и выходными z , и пусть P(x,z) корректен (частично, или условно) по отношению к предусловию Pre(x) и постусловию Post(x,z) . Какие высказывания истинны в этом случае по отношению к условно корректному методу

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

вопрос

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

на входе x , удовлетворяющем предусловию, условно корректный метод P может, как завершить свою работу, так и зациклиться - оба варианта не противоречат условной корректности метода
если на входе x , удовлетворяющем предусловию, условно корректный метод P завершит свою работу, то на выходе гарантируется выполнение постусловия
если на входе x , удовлетворяющем предусловию, условно корректный метод P завершит свою работу, то выполнение постусловия на выходе не гарантируется
если на входе x , удовлетворяющем предусловию, метод P не завершит свою работу (зациклится), то это означает, что метод не является условно корректным
Сложность вопроса
75
Сложность курса: Объектное программирование в классах на C# 3.0
74
Оценить вопрос
Очень сложно
Сложно
Средне
Легко
Очень легко
Комментарии:
Аноним
Это очень простой вопрос по интуиту.
18 май 2020
Аноним
спасибо
16 мар 2017
Оставить комментарий
Другие ответы на вопросы из темы программирование интуит.