База ответов ИНТУИТ

Объектное программирование в классах на С# 3.0

<<- Назад к вопросам

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

(Ответ считается верным, если отмечены все правильные варианты ответов.)

Варианты ответа
если на входе x , удовлетворяющем предусловию, метод P не завершит свою работу (зациклится), то это означает, что метод не является условно корректным
на входе x , удовлетворяющем предусловию, условно корректный метод P может, как завершить свою работу, так и зациклиться - оба варианта не противоречат условной корректности метода(Верный ответ)
если на входе x , удовлетворяющем предусловию, условно корректный метод P завершит свою работу, то на выходе гарантируется выполнение постусловия(Верный ответ)
если на входе x , удовлетворяющем предусловию, условно корректный метод P завершит свою работу, то выполнение постусловия на выходе не гарантируется
Похожие вопросы
Пусть 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 :
Пусть C - некоторый класс, а S - структура с тем же набором полей. Пусть cx , cy - объекты класса C , а sx , sy - объекты структуры S . Отметьте истинные высказывания:
Перечисление из n элементов задано шкалой и определяет n бинарных свойств. Пусть x - это число, задающее значение объекта перечисления. Укажите высказывания, истинные для числа x:

Пусть в классе Town объявлено событие с именем festival

public event Festival festival;

В этом объявлении Festival - это класс делегат, поэтому истинными являются следующие высказывания:

Рассмотрим цикл типа While - (while(B) S;) , где B - предикат, задающий условие цикла, а S - тело цикла. Только некоторые инварианты цикла, называемые подходящими инвариантами цикла, могут использоваться для доказательства корректности цикла. Какие утверждения являются истинными по отношению к подходящему инварианту Inv :
Пусть M это условно компилируемый метод класса. Укажите утверждения, истинные для метода M :
В языке C# для каждого вызова x1.M(arg1, arg2, … argN) связывание сущности x1 с методом М осуществляется:
Пусть в классе Town объявлено событие с именем festivalpublic event Festival festival; Чтобы это объявление было корректным, Festival должно означать:
Пусть M это метод класса. Укажите утверждения, истинные для метода M :