Теория сложности управляющих систем

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