Гибкий генератор автономных тестов по дискретной математике

Аннотация

В данной статье описывается программный пакет, представляющий собой генератор новых математических тестов.
Основные особенности нашего пакета заключаются в ориентации на создание качественной печатной продукции и большой вариативности создаваемых задач, что достигается с помощью текстового процессора LATEX и мощностей языка Python. Пакет состоит из управляющей оболочки, синтаксического анализатора задач, предметной логики, системы форматирования и базы данных задач. Предметная логика представляет набор абстракций, которые могут быть использованы в задачах (например, графы, булевы функции и др.). База данных задач существует в виде JSON-файлов на специально созданным языке формирования задач.
На текущий момент в базе данных задач наиболее полно представлены задачи по дискретной математику. Было реализовано более пятидесяти видов задач по темам: операции над множествами, представление множеств диаграммами Эйлера-Венна, алгебра множеств, различные способы представления графов, операции над графами, некоторые задачи на графах, представление булевых функций различными способами, нахождение совершенных форм, построение и минимизация с помощью карт Карно, диаграмм Венна и гиперкубов, анализ и синтез логических схем.
Генератор задач может быть использован преподавателем при проведении практических и контрольных работ, создании индивидуальных материалов для учащихся. Задачи можно дифференцировать по уровню сложности путём изменения управляющих параметров.
Сформированные задания были использованы в учебном процессе для более чем 1000 студентов Военной академии связи имени С. М. Будённого, в результате чего наблюдалось улучшение усвоения дискретной математики. (на англ.)