Название спецкурса на русском языке
Функциональные системы двузначной логики
Перевод названия курса на английский язык
Functional systems of two-valued logic
Целевая аудитория
2 курс
3 курс
4 курс
5 курс
6 курс
Магистранты
Аспиранты
Подразделение
[Кафедра дискретной математики]
Семестр
Полгода (осень)
Тип курса
Спецкурс по выбору кафедры
Учебный год
2023/24
День недели
среда
Время
16:45-18:20
Формат проведения
В аудитории
Аудитория
[Ещё не назначена]
Аннотация
Рассматриваются различные подходы к описанию замкнутых классов булевых функций: структура классов для "классического" замыкания, предикатное описание классов, классы частичных булевых функций, "сильные" операторы замыкания, позволяющие построить конечную решетку замкнутых классов.
Дополнительная информация
Связь с лектором: olga.dudakova@gmail.com
Начало 11 октября