|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Функциональные системыучебный курс
- Автор: Марченков С.С.
- Год создания: 2015
- Организация: МГУ имени М.В. Ломоносова
- Описание: Курс состоит из трех частей. В первой части приведены начальные сведения по булевым функциям и изложено современное доказательство "большой" теоремы Поста: перечислены все замкнутые классы булевых функций с указанием конечного базиса в каждом из них. Центральная часть доказательства опирается на понятие и свойства мажоритарных функций. Во второй части курса рассматриваются частичные булевы функции. На основе предполных классов доказывается критерий полноты, устанавливается континуальность числа замкнутых классов частичных булевых функций. В третьей части на предикатном языке дается писание всех предполных классов многозначной логики.
- Добавил в систему: Марченков Сергей Серафимович
Преподавание курса
- с 1 сентября 2015 Марченков Сергей Серафимович
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
- обязательная, вариативной части, лекции, 36 часов
- Автор: Марченков С.С.
- 1 января 2002 - 31 декабря 2013 Марченков Сергей Серафимович
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
- обязательная, вариативной части, лекции, 36 часов
- Автор: Марченков С.С.