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

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

вопрос

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

на входе x , удовлетворяющем предусловию, тотально корректный метод P может завершить свою работу, а может и зациклиться
на входе x , удовлетворяющем предусловию, тотально корректный метод P завершит свою работу, и на выходе гарантируется выполнение постусловия
на входе x , удовлетворяющем предусловию, тотально корректный метод P завершит свою работу, но на выходе не гарантируется выполнение постусловия
если на входе x , удовлетворяющем предусловию, метод P не завершит свою работу (зациклится), то это означает, что метод не является тотально корректным
Сложность вопроса
74
Сложность курса: Объектное программирование в классах на C# 3.0
74
Оценить вопрос
Очень сложно
Сложно
Средне
Легко
Очень легко
Комментарии:
Аноним
Я сотрудник деканата! Тотчас удалите сайт vtone.ru с ответами с интуит. Пожалуйста
03 янв 2017
Аноним
Это очень заурядный вопрос интуит.
21 окт 2016
Аноним
Какой человек находит данные тесты интуит? Это же крайне просто
24 янв 2016
Оставить комментарий
Другие ответы на вопросы из темы программирование интуит.