ВВЕДЕНИЕ .
ГЛАВА I. Мера сложности множества тавтологий и некоторых других множеств формул.
1. Необходимое условие ограниченности меры кон
текстности функцией порядка оСовд.п. .
2. Мера правой контекстности для множества тавтологий при двоичном кодировании . 2.
3. Мера контекстности и мера правой контекстности
для множества тавтологии при унарном кодировании 5т
4. Сигнализирующая времени для множества тавтологий и множества выполнимых формул
ГЛАВА 2, Множества ОСист., и.ст, Н н, Сцст и подклассы класса языков, распознаваемого детерминированию за полиномиальное время
1. Хорновские тавтологии
2. О принадлежности множеств формул исчисления выс с называний классам 7 с 5Ь
ГЛАВА 3. Место множества тавтологий и родственных множеств в низших классах примитивнорекусивных множеств
1. Рудиментарность. множества тавтологий и некоторых
других множеств
2. Изословарность
3. б рудиментарность
ГЛАВА 4, 0 принадлежности множеств еп ОСн, ц и некоторых подмножеств множества исгп классу индексных языков
1. Основные определения .Л
2, Структура квазисовершенных дизьюктивных нормальных форм . оу
3. Множества 6СН индексные языки Ю
ЗАКЛЮЧЕНИЕ.
УКАЗАТЕЛЬ ОСНОВНЫХ ОБОЗНАЧЕНИЙ И СОКРАЩЕНИЙ.
Литература
- Київ+380960830922