|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Операторы замыкания логико-функционального типакнига
- Автор: Марченков С.С.
- Год издания: 2012
- Место издания: МАКС Пресс Москва
- Объём: 100 страниц
- ISBN: 978-5-89407-487-0 978-5-317-04204-2
- Учебное пособие, имеющее гриф
- Гриф УМО/НМС
- Аннотация: Пособие написано на основе программ курсов "Операторы замыкания в многозначной логике", "Сильные операторы замыкания" и "Функциональные уравнения многозначной логики", которые на протяжении ряда лет читаются автором на факультете Вычислительной математики и кибернетики МГУ. Пособие состоит их трёх глав и двух приложений. В главе 1 исследуется оператор параметрического замыкания, находятся все параметрически замкнутые классы булевых функций. Глава 2 посвящена оператору позитивного замыкания. В ней устанавливается связь между позитивно замкнутыми классами и полугруппами эндоморфизмов. Описываются все позитивно предполные классы, находятся все позитивно атомные классы трёхзначной логики и перечисляется большая часть позитивно замкнутых классов в P_3. В главе 3 изучается оператор 1L-замыкания с полной системой логических связок, а также три оператора замыкания с функциональными переменными, которые эквивалентны оператору 1L-замыкания. В приложении 1 приводятся основы теории Галуа для замкнутых классов функций и отношений. В приложении 2 даются необходимые сведения по однородным функциям. Для студентов, аспирантов и научных сотрудников, специализирующихся в области дискретной математики и кибернетики.
- Добавил в систему: Марченков Сергей Серафимович