Теория направленных отношений и ее приложения

Оглавление
1. ТИПИЗИРОВАННЫЕ НАПРАВЛЕННЫЕ ОТНОШЕНИЯ
1.1. Основные понятия. б
1.2. Свойства отношений.
1.3. Языки схем отношений
1.4. Классы отношений
1.5. Операции композиции отношений.
1.6. Комбинаторные отношения.
1.7. Дефинициональные расширения.
1.8. Основные сигнатуры
1.9. Конструктивные отношения.
1.9.1. Определение класса конструктивных отношений
1.9.2. Основные результаты
1 Иерархия классов отношений.
1 Исчисления включения и эквивалентности схем отношений . .
11. Отношения включения и эквивалентности схем
отношений
12. Исчисление сильного включения ациклических схем отношений.
13. Отношение включения рекурсивных схем отношений . . .
14. Отношение сильного включения схем конструктивных отношений
Основные результаты.
2. СЕТЕВАЯ ИНТЕРПРЕТАЦИЯ СХЕМ НАПРАВЛЕННЫХ
ОТНОШЕНИЙ
2.1. Графические представления схем отношений.
2.2. Базисы и сети.
2.3. Элементарные сети.
2.4. Операции композиции сетей.
2.5. Свободные и связанные сети. Вложение сетей
2.6. Сетевые языки.
2.7. Сетевая интерпретация рекурсивных схем отношений
ТЕОРИЯ НАПРАВЛЕННЫХ ОТНОШЕНИЙ И ЕЕ ПРИЛОЖЕНИЯ
ОГЛАВЛЕНИЕ
2.8. Реляционная интерпретация сетевых языков.
2.9. Примеры задания сетевых языков и их реляционной интерпретации
2 Формализация отношений реляционного включения и эквивалентности сетевых языков.
2 Примеры индуктивных доказательств эквивалентности
сетевых языков в конструктивных базисах
Основные результаты.
3. БЕСТИПОВЫЕ НАПРАВЛЕННЫЕ ОТНОШЕНИЯ
3.1. Сигнатуры языков схем бестиповых отношений
3.2. Представление типизированных рекурсивных схем бестиповыми регулярными схемами
3.3. Вычислительная полнота множества констант языка бестиповых регулярных схем отношений основной универсальной
сигнатуры
Основные результаты.
4. ФУНКЦИОНАЛЬНЫЕ НАПРАВЛЕННЫЕ ОТНОШЕНИЯ
4.1. Основные определения.
4.2. Необходимые и достаточные условия функциональности. .
4.3. Функциональные графсхемы отношений.
4.4. Модели вычислений функциональных отношений
4.4.1. Вычисление отношений в конструктивных базисах.
4.4.2. Вычисление рекурсивных функциональных отношений. . .
4.4.3. Вычисление отношений, заданных функциональными графсхемами
Основные результаты
5. НАПРАВЛЕННЫЕ ОТНОШЕНИЯ И ТЕОРИЯ СХЕМ ПРОГРАММ. .
5.1. Стандартные и рекурсивные схемы программ
5.2. Представление семантики схем программ средствами теории направленных отношений
Основные результаты
6. НАПРАВЛЕННЫЕ ОТНОШЕНИЯ И ЛОГИКА ПЕРВОГО
ТЕОРИЯ НАПРАВЛЕННЫХ ОТНОШЕНИЙ И ЕЕ ПРИЛОЖЕНИЯ
ОГЛАВЛЕНИЕ
ПОРЯДКА .
6.1. Трансляция схем направленных отношений в логический язык первого порядка
6.2. Представление логических формул схемами направленных отношений
6.3. Представление логических формул в исчислении сильного включения схем направленных отношений
Основные результаты.
7. НАПРАВЛЕННЫЕ ОТНОШЕНИЯ И ЛОГИЧЕСКИЙ ВЫВОД
7.1. Метод сетевой резолюции
7.2. Сетевая резолюция в логике первого порядка с равенством .
7.3. Доказательство противоречивости системы включений как альтернатива резолютивному логическому выводу
Основные результаты.
8. НАПРАВЛЕННЫЕ ОТНОШЕНИЯ И ФУНКЦИОНАЛЬНО
ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
8.1. Парадигмы функционального и логического программирования. .
8.2. Общие принципы построения языка функциональнологического программирования
8.3. Синтаксис языка .
8.4. Примеры программ на языке .
8.5. Архитектура и принципы реализации системы функциональнологического программирования.
Основные результаты.
СПИСОК ОБОЗНАЧЕНИЙ
СПИСОК СОКРАЩЕНИЙ.
СПИСОК ЛИТЕРАТУРЫ