Замкнутые классы булевых функций и функций многозначной логики
Опубликовано 28 сентября 2015 - 17:16 пользователем Кафедра Дискретной математики
Осенний семестр 2015/2016 уч. года: среда, 16:45, ауд. 12-13.
Аннотация.
В курсе рассматриваются различные подходы к описанию замкнутых классов функций многозначной логики. Доказывается теорема Поста о конечной порожденности замкнутых классов булевых функций, приводится описание всех замкнутых классов. Изучаются семейства предполных классов функций k-значной логики; рассматривается ряд других семейств классов.
Тип:
Год:
Семестр:
Отделение:
Тип спецкурса:
Преподаватель:
- Войдите, чтобы оставлять комментарии