|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Сильные операторы замыканияучебный курс
- Автор: Марченков С.С.
- Год создания: 2009
- Организация: МГУ имени М.В. Ломоносова
- Описание: Курс тематически примыкает к обязательному курсу "Функциональные системы", который читается для студентов магистратуры на кафедре математической кибернетики. В курсе рассматриваются сильные операторы замыкания - операторы, которые порождают конечные классификации на множестве функций многозначной логики. В качестве базового оператора замыкания рассматривается оператор параметрического замыкания, принадлежащий А.В.Кузнецову. Устанавливаются основные свойства оператора параметрического замыкания, находятся все 25 параметрически замкнутых класса булевых функций. Оператор параметрического замыкания расширятся до оператора позитивного замыкания и оператора с полной системой логических связок. Для множества булевых функций определяются все классы, замкнутые относительно данных операторов. Устанавливается связь между позитивно замкнутыми классами и полугруппами эндоморфизмов. Вводится оператор эквационального замыкания, для которого определяются все замкнутые классы булевых функций. На основе систем функциональных уравнений определяется оператор FE-замыкания, находятся все FE-замкнутые классы булевых функций.
- Добавил в систему: Марченков Сергей Серафимович
Преподавание курса
- 1 сентября 2017 - 30 декабря 2017 Марченков Сергей Серафимович
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
- обязательная, по выбору (спецкурс), лекции, 36 часов
- Автор: Марченков С.С.