Содержание
- Введение 1
- Теоретические основы задач о переливании воды 2
- Понятие инвариантов в дискретных системах 3
- Идентификация и формализация инвариантов для задач о переливании 4
- Проектирование архитектуры программного комплекса 5
- Разработка алгоритмов решения задач и демонстрации инвариантов 6
- Реализация пользовательского интерфейса и визуализации 7
- Тестирование и анализ результатов работы программы 8
- Заключение 9
- Список литературы 10