|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Функциональные системыучебный курс
- Автор: Марченков С.С.
- Год создания: 2001
- Организация: МГУ имени М.В. Ломоносова
- Описание: Курс состоит из двух частей. В первой части излагается доказательство теоремы Поста, принадлежащее автору: описываются все замкнутые классы булевых функций и в каждом из них находится конечный базис. Вычисляется порядок каждого замкнутого класса и устанавливается полнота полученного списка замкнутых классов. Во второй части курса вводится понятие сохранения предиката функцией и исследуются классы функций, сохраняющие предикат. Для любого k>2 с использованием предикатного языка описываются все предполные классы k-значной логики. Отдельно рассматриваются классы монотонных, самодвойственных, квазилинейных функций и класс Слупецкого.
- Добавил в систему: Марченков Сергей Серафимович