Оператор множественного выбора в языке Eiffel синтаксически имеет следующий вид:

inspectchoice-выражениеwhen val_1 then составной оператор_1when val_2 then составной оператор_2…else составной операторend

Какие условия выполняются для choice-выражения и when-значений?

В классе POINT в предложении create заданы имена двух процедур создания – make_cartesian и make_polar, каждая из которых имеет два аргумента, позволяющие создать точку, задав декартовы или полярные ее координаты. Пусть объявлены три точки – point_A, point_B, point_C: POINT. Какие операторы, создающие точки, являются синтаксически корректными?

В программировании булевские переменные и выражения могут принимать три значения – True, False, Undefined (неопределено). Пусть переменная p имеет значение True, а q – Undefined. Какие из выражений будут иметь значение Undefined?

В программировании булевские переменные и выражения могут принимать три значения – True, False, Undefined (неопределено). Пусть переменная p имеет значение False, а q – Undefined. Какие из выражений будут иметь значение Undefined?

Определим отношение "имеет". А имеет В означает, что В некоторая возможная составляющая часть А (А содержит или знает о В). Укажите высказывания, справедливые для отношения "имеет".

Пусть определены классы Student и Tutor, моделирующие понятия "студент" и его "руководитель". У класса Student есть запрос без аргументов tutor, возвращающий объект класса Tutor. У класса Tutor есть запрос с целочисленным аргументом students(j), возвращающий объект класса Student – студента с номером j в группе, руководимой данным преподавателем. Пусть определены по два объекта каждого из этих классов: student_one, student_two, tutor_one, tutor_two. Какие вызовы синтаксически корректны и в качестве результата дают объект класса Student?

Пусть определены классы Book, Page, Paragraph, моделирующие понятия "книга", "страница книги", "абзац". Пусть определен объект my_book, задающий некоторую книгу. Рассмотрим фрагмент кода на языке Eiffel:

Console.show(my_book.pages(j).paragraphs(i).text)

Является ли этот фрагмент синтаксически корректным, если да, то какова его возможная семантика?

Какие утверждения справедливы для семантики присваивания target := source в языке Eiffel?

Какие утверждения справедливы для синтаксиса присваивания target := source в языке Eiffel?

Пусть заданы множества слов: S1 = { племя, око, кот, питон}, S2 = { мама, мак, мел, потоп, папа, компас}. Укажите формулы теории предикатов, принимающих истинные значения. Здесь Forall обозначает квантор всеобщности, Exist – квантор существования, s[i] это i-й символ слова s

Импликация p implies q в языке Eiffel по определению является полустрогой операцией. Какие утверждения являются справедливыми?