Исследование математических моделей параллельных вычислительных систем методами алгебраической топологии

Оглавление
Введение
Глава 1. Категории математических моделей вычислительных систем
1.1. Системы переходов
1.2. Сети Петри.
1.3. Асинхронные системы переходов
1.4. Автоматы высшей размерности
1.5. Функторы между категориями моделей.
Глава 2. Гомологии асинхронных систем переходов и признаки распараллеливания
2.1. Группы гомологий асинхронных систем
2.2. Вычисление групп гомологий .
2.3. Параллельное произведение асинхронных систем переходов
2.4. Многочлен Пуанкаре и признак неразложимости
Глава 3. Исследование гомологий асинхронных систем переходов
3.1. Подгруппы кручения в гомологиях асинхронных систем переходов
3.2. Гомологии МЕ, множеств с коэффициентами в функторе
Щхо,.,Л5
Глава 4. Кольца когомологий асинхронных систем переходов
4.1. Диагональное вложение.
4.2. Когомологические системы на полукубнческих множествах
4.3. Свойства полу кубического кольца когомологий.
4.4. Введение когомологий асинхронных систем переходов
4.5. Приложения и некоторые вычисления.
Заключение
Список иллюстраций
Список таблиц
Список использованных источников
Литература