Сложность булевских функций (ст. преподаватель, к.ф.м.н. Шкаликова Н.А.)
Главная цель курса - изучить некоторые конкретные методы оценки сложности логических формул, которые используются при создании математических моделей интегральных схем, встречающихся в самых различных электронных устройствах.
Будут даны оценки функции (сложности) Шеннона по порядку, ее асимптотическая оценка и нетривиальные нижние оценки для конкретных систем булевских функций.