Функциональные системы двузначной логики
Название спецкурса на английском языке
Functional systems of two-valued logic
Пререквизиты
Освоение раздела "Булевы функции" курса "Теория дискретных функций" (1 курс, 2 семестр)
Целевая аудитория
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра дискретной математики]
Семестр
Осень
Тип спецкурса
Спецкурс по выбору кафедры
Учебный год
2026/27
Список тем
Теорема Поста о конечной порожденности всех замкнутых классов булевых функций.
Описание решетки всех замкнутых классов булевых функций.
Предикатное описание замкнутых классов. Соответствие Галуа.
Классы частичных функций в P_2. Критерий полноты.
Описание решетки всех замкнутых классов булевых функций.
Предикатное описание замкнутых классов. Соответствие Галуа.
Классы частичных функций в P_2. Критерий полноты.
Список источников
Марченков С. С. Основы теории булевых функций. М.: Физматлит, 2014.
Дополнительная информация
Расписание предварительное, можно изменить по согласованию со слушателями. Связь с лектором: olga.dudakova@gmail.com
День недели
вторник
Время
15:00-16:35
Аудитория
Ещё не назначена
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.