Приборы и системы. Управление, контроль, диагностика Аннотация к статье << Назад Автоматическая проверка цепочек преобразований символьных неравенств на основе перебора логических правил В.И. КАЦМАН При решении многих задач в области технических наук требуются навыки совершения преобразований над символьными неравенствами. Для закрепления этих навыков обучаемым требуется решить большие объемы задач на преобразования неравенств, что влечет необходимость проверки полученных обучаемыми решений. На сегодняшний день уже реализовано множество платформ, позволяющих автоматизировать проверку решений. Но, как правило, они проверяют исключительно ответ, но не ход решения задачи. Такой подход к проверке оставляет возможность получения правильного ответа и засчитанного задания при не до конца продуманном или неправильном решении. В статье предлагается способ автоматической проверки решений задач, основанный на последовательной проверке совершенных обучаемым преобразований неравенств над символьными выражениями путем эффективного перебора правил, по которым эти преобразования могли быть совершены. Система на каждом шаге решения перебирает допустимые преобразования, пытаясь найти использованное обучаемым. Проблемы неоднозначности формы записи решаются комбинацией методов тестирования, унификации и структурирования правил записи решения. Предложенный способ автоматической проверки был опробован на студентах младших курсов Политехнического и Электротехнического Университетов и показал неплохие результаты: производительность преподавательского труда при проверке задач повысилась более, чем в 4 раза. Ключевые слова: образование, игрофикация, преобразование символьных неравенств, автоматическая проверка решений, правила преобразований. DOI: 10.25791/pribor.11.2020.1221 Стр. 19-24.