Томск: Томский государственный университет, 2006. ? 288 с. Излагаются алгоритмы и способы создания управляющих систем, построенных на базе логических структур и обладающих высокой надежностью за счет изменения внутренней структуры. На основе многофункциональных логических модулей решены проблемы вычисления систем булевых формул определенных классов, Отражены вопросы автоматизированного синтеза и исследования функциональных свойств многофункционал...