Замкнутые классы k-значной логики, содержащие классы монотонных или самодвойственных функций

Ларионов Виталий Борисович. Замкнутые классы k-значной логики, содержащие классы монотонных или самодвойственных функций : диссертация ... кандидата физико-математических наук : 01.01.09 / Ларионов Виталий Борисович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова].- Москва, 2010.- 158 с.: ил. РГБ ОД, 61 10-1/1061
Автор
Ларионов Виталий Борисович
Год
2010
  • 99 000 UZS

Оглавление диссертации
Введение
Глава 1. Монотонные классы с бесконечной надструктурой 15
1.1. Основные понятия 15
1.2. Семейство классов монотонных функций с бесконечной надструктурой 43
1.3. Минимальные логики, содержащие классы монотонных функций с бесконечной надструктурой 53
Глава 2. Свойства надрешетки классов монотонных функций 63
2.1. Невырожденные предикаты 63
2.2. Общие свойства надрешеток классов монотонных функций 72
2.3. Надструктура классов монотонных функций, сохраняющих несвязное ЧУМ 81
Глава 3. Необходимые и достаточные условия для бесконечной надструктуры класса монотонных функций 99
3.1. Достаточные условия для конечной надструктуры класса монотонных функций 99
3.2. Необходимые и достаточные условия для наличия бесконечной надструктуры у некоторых семейств классов монотонных функций 103
3.3. Неограниченность конечной надструктуры классов монотонных функций 115
Глава 4. Надструктура замкнутых классов самодвойственных функций 120
4.1. Семейства классов, содержащих замкнутый класс самодвойственных функций 120
4.2. Надструктура классов самодвойственных функций 127
4.3. Структура решетки замкнутых классов над Sa 139
Литература

Рекомендуем вам товары

99 000 UZS
Автор
Волков Николай Юрьевич
Количество страниц
Год
2010
99 000 UZS
Автор
Маевский, Алексей Эдуардович
Количество страниц
Год
2010
99 000 UZS
Автор
Небосько, Евгений Юрьевич
Количество страниц
Год
2010
99 000 UZS
Автор
Михалин Дмитрий Александрович
Количество страниц
Год
2010
99 000 UZS
Автор
Поплевко, Василиса Павловна
Количество страниц
Год
2010
Модули для Opencart 2, Опенкарт 3