Описание:Курс тематически примыкает к обязательному курсу "Функциональные системы", который читается для студентов магистратуры на кафедре математической кибернетики. В курсе рассматриваются сильные операторы замыкания - операторы, которые порождают конечные классификации на множестве функций многозначной логики. В качестве базового оператора замыкания рассматривается оператор параметрического замыкания, принадлежащий А.В.Кузнецову. Устанавливаются основные свойства оператора параметрического замыкания, находятся все 25 параметрически замкнутых класса булевых функций. Оператор параметрического замыкания расширятся до оператора позитивного замыкания и оператора с полной системой логических связок. Для множества булевых функций определяются все классы, замкнутые относительно данных операторов. Устанавливается связь между позитивно замкнутыми классами и полугруппами эндоморфизмов. Вводится оператор эквационального замыкания, для которого определяются все замкнутые классы булевых функций. На основе систем функциональных уравнений определяется оператор FE-замыкания, находятся все FE-замкнутые классы булевых функций.