Моделі, методи та інформаційна технологія підтримки навчання точним наукам

Abstract

Дисертаційну роботу присвячено розробленню та науковому обґрунтуванню комплексу математичних моделей, алгоритмічних методів і інформаційної технології підтримки навчання точним наукам, що забезпечують формалізовану діагностику знань, адаптивний вибір навчальних задач, алгоритмічну генерацію навчального контенту, інтеграцію формальної верифікації доведень і алгоритмів, а також мотиваційне регулювання навчальної діяльності.

The dissertation is devoted to the development and scientific substantiation of a set of mathematical models, algorithmic methods, and information technology for supporting learning in the exact sciences. The proposed solutions provide formalized knowledge diagnosis, adaptive selection of learning problems, algorithmic generation of learning content, integration of formal verification of proofs and algorithms, and motivational regulation of learning activity.