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

Правильный ответ:

• # Что определяет синтаксис программы?
• # Пусть задано множества букв S1 = { а, о, к, м, п} и множество слов: S2 = {имя, мама, мак, потоп, папа, компас}. Укажите формулы теории предикатов, принимающих истинные значения. Здесь Forall обозначает квантор всеобщности, а Exist – квантор существования
• # При решении сложных задач эффективным приемом является сведение сложной задачи к нескольким более простым задачам. Пусть из состояния K требуется перейти в состояние, где выполняется цель G. Управляющая структура – это некоторая стратегия, сводящая решение задачи к решению более простых задач. Укажите, какие из стратегий относятся к классическим стратегиям, применяемым в программировании?
• # Какие утверждения справедливы для синтаксиса и семантики последовательности – составного оператора в языке Eiffel?
• # Укажите корректные высказывания о завершении цикла?