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

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

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

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

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

только некоторые инварианты цикла могут использоваться для доказательства корректности работы цикла(Верный ответ)

у каждого цикла существует только один инвариант цикла

у каждого цикла существует множество инвариантов цикла(Верный ответ)

каждое тождественное утверждение является инвариантом любого цикла(Верный ответ)

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

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

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

Какие утверждения являются истинными по отношению к корректности класса:

Укажите высказывания, истинные для понятия корректности программы:

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

Понятие "интерфейс" широко используется при программировании на языке C#. Укажите контекст, в котором используется ключевое слово языка "interface":

Делегаты широко используются при задании функций обратного вызова (callback функций). Укажите, какие утверждения относительно функций обратного вызова являются корректными:

Какие высказывания являются истинными?

Укажите высказывания, истинные для понятия устойчивости программы: