V.S. Zaytsev¹, W.E. Wolfengagen², S.V. Kosikov³, L.Yu. Ismailova⁴, I.O. Sliepstov⁵

¹ˑ²ˑ⁴National Research Nuclear University MEPhI (Moscow, Russia)

³ˑ⁵LLC "JurInforR" (Moscow, Russia)

¹VSZaitsev@mephi.ru, ²VEWolfengagen@mephi.ru, ³kosikov.s.v@gmail.com, ⁴LYIsmailova@mephi.ru, ⁵igor.slieptsov@mail.com

In today's world, people often find themselves needing to acquire new knowledge in a very short time frame (for example, through professional development courses, changing specialties, or working at the intersection of fields), which has led to significant growth in the field of e-learning. At the same time, the ongoing development of modern information technologies and the ever-increasing access to educational content pose more challenges to traditional educational models, prompting educators to seek new approaches to teaching. One of the most common issues in this area is the task of precisely and multifacetedly configuring educational content to enhance the quality of learning and assess students' comprehension of the material.

One of the most common challenges in this field is the precise and multifaceted configuration of educational content to improve the quality of learning and assessment of students' knowledge. This study focuses on developing a mathematical model for content configuration based on the approach used in applicative computational technologies. We substantiated the advantages of this approach for optimizing the educational content configuration process. The paper examines the main methods of generating and processing learning materials used in modern educational systems (based on content relevance requirements, collected statistics, developed competencies, and the distribution of created learning materials). The proposed model allows for the personalization of learning paths, taking into account the required competencies, the course curriculum, and the learner's individual progress. The obtained formal language have been tested in the development of a series of educational products.

Zaytsev V.S., Wolfengagen W.E., Ismailova L.Yu., Kosikov S.V., Sliepstov I.O. Development of an educational content configuration system based on applicative computational technologies. Information-measuring and Control Systems. 2025. V. 23. № 5. P. 102−109. DOI: https://doi.org/10.18127/j20700814-202505-11 (in Russian)

1. Wolfengagen V., Ismailova L., Kosikov S. Logical-applicative computing based on type theory. Biologically Inspired Cognitive Architectures. 2024. P. 426−434. Cham. 2024. Springer Nature Switzerland.
2. Wolfengagen V., et al. Semantic configuration model with natural transformations. Cognitive Systems Research. 2024. № 83.
3. Volfengagen V.E. Konstruktsii yazykov programmirovaniya. M.: AO "Tsentr YurInfoR". 2001. 276 s. (in Russian)
4. Meier A. i dr. Backdoors for Linear Temporal Logic. Algorithmica. 2019. T. 81. № 2. S. 476−496.
5. Sleptsov I.O. Teoretiko-kategornaya model protsessov poshagovogo determinirovannogo vzaimodeistviya ob'ekta s okruzheniem. Informatsionno-izmeritelnye i upravlyayushchie sistemy. 2024. T. 22. № 5. S. 46−55. (in Russian)
6. Ismailova L., et al. Specification Language Based on Linear Temporal Logic for Automatic Construction of Statically Verified Systems. Studies in Computational Intelligence. 2022. № 1032. P. 164−169.
7. Slieptsov I., Kosikov S., Ismailova L. Development Javascript Library with Implicit Typing. Biologically Inspired Cognitive Architectures. 2024. P. 383−390. Cham. 2024.