Описание:В курсе рассматриваются различные модели булевых функций – управляющие системы, такие, как схемы из функциональных элементов, контактные схемы, информационные графы. Рассматривается задача синтеза управляющих систем для различных классов булевых функций и приводятся верхние и нижние оценки сложности синтеза.