Formalization of tasks generation for complex of interactive web-tests on math

Abstract

The approach to the formalization of the generation of problem situations applicable to the development of tutoring programs consisting of many tasks is considered. The main errors arising during the software-based generation of parameters are specified. Mathematical modeling of parametrical generation algorithms examined by examples of tasks that make up complex tests on mathematics for secondary schools. The parametric generation method proposed in the article allows getting the large quantitative variations in task problem situations.

Розглянуто підхід до формалізації генерації проблемних ситуацій, застосовний до розробки тьюторських програм, що складаються з багатьох завдань. Вказано основні помилки, що виникають під час програмної генерації параметрів. Розглянуто математичне моделювання алгоритмів генерації параметрів на прикладах завдань, що входять до складу комплексних контрольних робіт з математики для загальноосвітніх шкіл. Запропонований у статті метод параметричної генерації дозволяє отримати великі кількісні варіації проблемних ситуацій задачі.

Рассмотрен подход к формализации генерации проблемных ситуаций, применимый к разработке обучающих программ, состоящих из множества заданий. Указаны основные ошибки, возникающие при программной генерации параметров. Математическое моделирование алгоритмов параметрической генерации рассмотрено на примерах задач, составляющих комплексные тесты по математике для общеобразовательных школ. Предложенный в статье параметрический метод генерации позволяет получать большие количественные вариации проблемных ситуаций задач.