Ви є тут

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

Автор: 
Сафин Ринат Фатехович
Тип роботи: 
Дис. канд. физ.-мат. наук
Рік: 
2004
Артикул:
1213
179 грн
Додати в кошик

Вміст

Оглавление
Введение
1. Основные опр деления и вспомогательные утверждения
1.1. Основные определения и обозначения.
1.2. Основные свойства систем функций
1.3. Вспомогательные утверждения.
1.3.1. Метод преобразования формул .
1.3.2. Основные следствия.
1.3.3. Преобразование формул .
2. Классы типов Ь и Р
2.1. Классы линейных функций
2.2. Классы самодвойственных функций
3. Классы типов Е, В и О
3.1. Классы функций сохраняющих разбиения.
3.2. Классы типа В
3.3. Классы монотонных функций
4. Классы типа С
4.1. Классы типа С1
4.2. Равномерные порождающие системы в классах типа О, при Л 2 . . . .
4.2.1. Порождающие системы.
4.2.2. Равномерность подсистем.
4.2.3. Существование равномерных порождающих систем
4.3. Классы типа С2 .
4.3.1. Классы типа и С. Тмаксимальные функции.
4.3.2. Равномерность порождающих систем в классах типа
5. Доказательство основных теорем
Литература