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

Методы и средства инженерии программного обеспечения

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

Алгебра Дейкстры - это:

(Отметьте один правильный вариант ответа.)

Варианты ответа
{АСС, L(2), СИГН}, двухосновная алгебра, элементами которой являются множество АСС операторов, представленных структурными блок-схемами, множество L(2) булевых функций в сигнатуре СИГН, в которую входят операции дизъюнкции, конъюнкции и отрицания, принимающие значения из L(2)(Верный ответ)
{ОП, УС, СИГН}, где ОП и УС - множества операторов суперпозиции, входящих в сигнатуру СИГН, и логических условий, определенных на информационном множестве ИМ, СИГН={СИГНад∪Прогн.}, где СИГНад - сигнатура операций Дейкстры, Прогн. - операция прогнозирования
<{АНС, L(2)}; СИГН>, где АНС - совокупность неструктурных схем, L(2) - совокупность различных булевских функций, СИГН - сигнатура из композиции A*B и операция неструктурного перехода П(u, F), а также операции дизъюнкции, конъюнкции и отрицания
Похожие вопросы
Алгебра схем Янова - это:
Метод Дейкстры основан: