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

Рассмотрим цикл типа While - (while(B) S;) , где B - предикат, задающий условие цикла, а S - тело цикла. Только некоторые инварианты цикла, называемые подходящими инвариантами цикла, могут использоваться для доказательства корректности цикла. Какие утверждения являются истинными по отношению к подходящему инварианту Inv :

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

Варианты ответа

предикат Inv является инвариантом цикла while(Верный ответ)

из истинности предиката Inv и условия завершения цикла (Inv & !B) следует истинность утверждения, доказывающего корректность выполнения цикла(Верный ответ)

предикат Inv становится истинным непосредственно перед выполнением оператора цикла(Верный ответ)

из истинности предиката Inv следует истинность утверждения, доказывающего корректность выполнения цикла

Похожие вопросы

Пусть 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 :

Для доказательства корректности цикла, как правило, используется понятие инварианта цикла. Какие утверждения являются справедливыми для этого понятия:

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

public event Festival festival;

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

Пусть C - некоторый класс, а S - структура с тем же набором полей. Пусть cx , cy - объекты класса C , а sx , sy - объекты структуры S . Отметьте истинные высказывания:

Перечисление из n элементов задано шкалой и определяет n бинарных свойств. Пусть x - это число, задающее значение объекта перечисления. Укажите высказывания, истинные для числа x:

Документируемые комментарии в программах на C# могут включать текст в формате XML , содержащий элементы, называемые тегами. Укажите высказывания, истинные для тегов:

В языке C# для каждого вызова x1.M(arg1, arg2, … argN) связывание сущности x1 с методом М осуществляется: