Диссертация - О реализации функций алгебры логики в некоторый классах программ
Содержание
Содержание
Глава 1. Введение
§1.1 Общая характеристика работы...3
§1.2 Постановка задачи и формулировка полученных
результатов...12
§1.3 Критерий полноты программ ...22
Глава 2. Одномодульные программы
§2.1 Структура одномодульных программ ...25
§2.2 Нижние оценки функций Шеннона ...31
§2.3 Верхние оценки функций Шеннона ...40
Глава 3. Мультимодульные программы
§3.1 Программы с легкими константами...51
§3.2 Поведение функции Шеннона для унарной сложности
рекурсивных схем из функциональных элементов...56
§3.3 Поведение функции Шеннона для сигнатурной сложности
рекурсивных схем из функциональных элементов...66
§3.4 Синтез невырожденных мультимодульных программ ...72
Приложение А. Общие формулы для вычисления нижних мощностных оценок функции Шеннона ...75
Приложение В. Вычисление экстремумов некоторых функций ...78
Приложение С. Некоторые результаты из теории универсальных матриц ...83
Литература ...87
