|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Функциональные системы учебный курс
- Автор: Марченков С.С.
- Год создания: 2015
- Организация: МГУ имени М.В. Ломоносова
- Описание: Курс состоит из трех частей: "Замкнутые классы булевых функций" (определение всех замкнутых классов булевых функций, не входящих в бесконечные цепочки, и построение в них конечных базисов; доказательство вхождения мажоритарных функций во все замкнуты классы из бесконечных цепочек; теорема Бейкера-Пиксли; доказательство счетной бесконечности числа замкнутых классов), "Функции многозначной логики" (стандартные полные системы и функция Вебба; алгоритм распознавания полноты С.В.Яблонского и теорема А.В.Кузнецова; критерий Слупецкого-Яблонского; теоремы Ю.И.Янова и А.А.Мучника о существовании замкнутых классов, не имеющих конечных базисов), "Предполные классы многозначной логики" (отношение сохранения предиката функцией; определение шести семейств предикатов, задающих предполные классы многозначной логики).
- Добавил в систему: Марченков Сергей Серафимович
Преподавание курса
- с 1 сентября 2015 Марченков Сергей Серафимович
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
- обязательная, базовой части, семинары, 18 часов
- Автор: Марченков С.С.