Какие пути активизируют 0-эксперименты в бинарных диаграммах?
Какие значения соседних входов надо присвоить при акти-визации пути через вентиль И?
Какие значения соседних входов надо присвоить при акти-визации пути через вентиль НЕ-ИЛИ?
Какие значения сигналов после моделирования должны иметь линии - кандидаты на включение в проверяемые пути?
Какие значения сигналов после моделирования должны иметь линии - кандидаты на включение в проверяемые пути?
Какие значения сигналов после моделирования должны иметь линии - кандидаты на включение в проверяемые пути?
Чем обусловлена задержка сигнала в модели "задержка пути"?
На каком этапе возможен конфликт в методе PODEM?
В каком порядке выполняются генетические операторы в простом генетическом алгоритме?
При каком числе термов в дизъюнктах задача выполнимости КНФ имеет полиномиальную сложность?
