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