|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Теория функций k-значной логикиучебный курс
- Автор: Жук Д.Н.
- Год создания: 2011
- Организация: МГУ имени М.В. Ломоносова
- Описание: Курс посвящен как классическим, так и современным результатам по теории функций k-значной логики. Будут изложены такие результаты как теорема Поста о замкнутых классах булевых функций, теорема Яблонского о предполных классах трёхзначной логики, классификация минимальных клонов Иво Розенберга. Из современных результатов, будет предложено описание замкнутых классов самодвойственных функций трёхзначной логики, а также рассказано про применение функций k-значной логики при решении задачи удовлетворения ограничениям (Constraint Satisfaction Problem), которое было обнаружено чуть более 10 лет назад и сейчас активно развивается.
- Добавил в систему: Жук Дмитрий Николаевич
Преподавание курса
- 17 сентября 2020 - 31 декабря 2020 Жук Дмитрий Николаевич
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, вариативной части, лекции, 32 часов
- Автор: Жук Д.Н.
- 18 сентября 2019 - 25 декабря 2019 Жук Дмитрий Николаевич
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, вариативной части, лекции, 32 часов
- Автор: Жук Д.Н.
- 21 сентября 2017 - 21 декабря 2017 Жук Дмитрий Николаевич
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, вариативной части, лекции, 32 часов
- Автор: Жук Д.Н.
- 1 сентября 2016 - 20 декабря 2016 Жук Дмитрий Николаевич
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), лекции, 32 часов
- Автор: Жук Д.Н.
- 7 сентября 2015 - 20 декабря 2015 Жук Дмитрий Николаевич
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), лекции, 32 часов
- Автор: Жук Д.Н.
- 1 сентября 2012 - 20 декабря 2012 Жук Дмитрий Николаевич
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической теории интеллектуальных систем
- факультативная, лекции, 32 часов
- Автор: Жук Д.Н.