Разработка системы конфигурирования обучающего контента на основе аппликативных вычислительных технологий

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

Цель. Разработать математическую модель конфигурирования обучающего контента, позволяющую обеспечить сборку в соответствии с предъявляемыми требованиями и целями обучения.

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

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