Лабораторные работы:
1. ОСНОВЫ ПОСТРОЕНИЯ ФОРМАЛЬНЫХ МОДЕЛЕЙ СИСТЕМ.
2. ИСПОЛЬЗОВАНИЕ ТЕОРИИ МНОЖЕСТВ ДЛЯ ОТОБРАЖЕНИЯ МОДЕЛИ СОСТАВА СИСТЕМЫ.
3. МОДЕЛИ СТРУКТУРЫ СИСТЕМЫ НА ОСНОВЕ ТЕОРИИ ГРАФОВ (на основе л/р 2).
4. ПОИСК НАИМЕНЬШЕГО ОСТОВОГО ДЕРЕВА (на основе л/р 2 и л/р 3).
5. ПОИСК КРАТЧАЙШЕГО ПУТИ НА ГРАФЕ С ПОМОЩЬЮ АЛГОРИТМА ДЕЙКСТРЫ.
6. РЕШЕНИЕ ЗАДАЧИ КОММИВОЯЖЕРА С ПОМОЩЬЮ МЕТОДА ВЕТВЕЙ И ГРАНИЦ.
7. РАСЧЁТ ПРОПУСКНОЙ СПОСОБНОСТИ СЕТЕВЫХ ГРАФОВ.
Демо-файл содержит порядок выполнения каждой работы.