Главная /
Объектное программирование в классах на С# 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
Сложность курса: Объектное программирование в классах на С# 3.0
20
Оценить вопрос
Комментарии:
Аноним
Я завалил экзамен, почему я не нашёл данный сайт с ответами по интуит месяц назад
13 апр 2018
Аноним
Экзамен прошёл и ладушки. Спасибо за халяуву
23 мар 2016
Другие ответы на вопросы из темы программирование интуит.
- # Укажите истинные высказывания:
- # Укажите корректную синтаксическую формулу, задающую описание класса:
- # Укажите высказывания, истинные для конструкторов класса:
- # Укажите истинные высказывания:
- # При множественном наследовании интерфейсов может возникнуть проблема коллизии имен, когда два или более интерфейса имеют методы с одинаковыми именами и сигнатурой. Эта проблема: