О глубине и сложности формул в предполных классах k-значной логики

Сафин Ринат Фатехович. О глубине и сложности формул в предполных классах k-значной логики : Дис. ... канд. физ.-мат. наук : 01.01.09 : Москва, 2004 82 c. РГБ ОД, 61:04-1/1410
Автор
Сафин Ринат Фатехович
Год
2004
  • 99 000 UZS

Оглавление диссертации
Введение
1. Основные onj. геления и вспомогательные утверждения 9
1.1. Основные определения и обозначения 9
1.2. Основные свойства систем функций 12
1.3. Вспомогательные утверждения 14
1.3.1. Метод преобразования формул 14
1.3.2. Основные следствия 17
1.3.3. Преобразование s-формул 19
2. Классы типов L и Р 22
2.1. Классы линейных функций 22
2.2. Классы самодвойственных функций 23
3. Классы типов Е, В и О 26
3.1. Классы функций сохраняющих разбиения 26
3.2. Классы типа В 28
3.3. Классы монотонных функций 32
4. Классы типа С 41
4.1. Классы типа d 41
4.2. Равномерные порождающие системы в классах типа Qj при h,^ 2 43
4.2.1. Порождающие системы 43
4.2.2. Равномерность подсистем 47
4.2.3. Существование равномерных порождающих систем 52
4.3. Классы типа Сг 58
4.3.1. Классы типа Q и Q*. Т-максимальные функции 58
4.3.2. Равномерность порождающих систем в классах типа Сг 68
5. Доказательство основных теорем 76
Литература 78

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

99 000 UZS
Автор
Суворова Мария Александровна
Количество страниц
Год
2004
99 000 UZS
Автор
Тюрнева Татьяна Геннадьевна
Количество страниц
Год
2004
99 000 UZS
Автор
Филимонов Дмитрий Валерьевич
Количество страниц
Год
2004
99 000 UZS
Автор
Хохлов Роман Анатольевич
Количество страниц
Год
2004
99 000 UZS
Автор
Панкратов Антон Николаевич
Количество страниц
Год
2004
Модули для Opencart 2, Опенкарт 3