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