МОДЕЛЬ СОВЕРШЕНСТВОВАНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ДЛЯ ОБУЧЕНИЯ СТУДЕНТОВ КУРСУ «ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ИНФОРМАТИКИ» НА ОСНОВЕ ЗАРУБЕЖНОГО ОПЫТА
Ключевые слова:
цифровое образование, теоретические основы информатики, программное обеспечение, зарубежный опыт, JFLAP, Web-CAT, Intelligent Tutoring Systems, логические ошибки, алгоритмические ошибки, семантический анализ, адаптивное обучение, педагогическая обратная связь, диагностика.Аннотация
В статье исследуются научно-методические основы совершенствования
программного обеспечения, используемого при преподавании курса
«Теоретические основы информатики» в высших образовательных учреждениях,
с учётом зарубежного опыта. Актуальность исследования обусловлена тем, что в
современной цифровой образовательной среде средства автоматизированного
оценивания зачастую ограничиваются определением итогового результата
студента и не позволяют в достаточной степени выявлять причины ошибок в его
логическом и алгоритмическом мышлении. В качестве зарубежного опыта
выбраны JFLAP, Web-CAT и подходы Intelligent Tutoring Systems, функциональные,
дидактические и диагностические возможности которых подвергнуты
сравнительному анализу. На основе проведённого анализа разработана
концептуальная модель диагностико-адаптивного программного обеспечения,
адаптированного к курсу «Теоретические основы информатики». Модель
включает базу заданий, модель студента, базу знаний, классификатор ошибок,
модуль семантического анализа, генератор адаптивной обратной связи и модуль
преподавательской аналитики. Предлагаемая модель предусматривает анализ
ответа студента на синтаксическом, структурном и семантическом уровнях,
классификацию ошибок в зависимости от причин их возникновения и
предоставление индивидуальной педагогической обратной связи. В статье также
обосновываются научная новизна модели, педагогические условия её
реализации и критерии экспериментальной проверки.
Библиографические ссылки
1. Rodger S. H., Finley T. J. JFLAP: An Interactive Formal Languages and Automata Package. – Jones & Bartlett
Learning, 2006.
2. Cavalcante R., Finley T., Rodger S. H. A Visual and Interactive Automata Theory Course with JFLAP 4.0 //
SIGCSE Bulletin. – 2004. – DOI: 10.1145/1028174.971349.
3. Dermevald D., Isotani S. Use of Feedback in Intelligent Tutoring Systems: A Systematic Literature Review //
Interactive Learning Environments. – 2025. – DOI: 10.1080/10494820.2025.2565681.
4. Unraveling the Mechanisms and Effectiveness of AI-Assisted Feedback in Education: A Systematic Literature Review // Computers and Education Open. – 2025. – Vol. 9. – Article 100284. – DOI: 10.1016/j.caeo.2025.100284.
5. Létourneau A., Deslandes Martineau M., Charland P., Karran J. A., Boasen J., Léger P. M. A Systematic Review of
AI-Driven Intelligent Tutoring Systems (ITS) in K-12 Education // npj Science of Learning. – 2025. – Vol. 10. – Article 29. –
DOI: 10.1038/s41539-025-00320-7.
6. Rodger S. H., Lim J., Reading S. Increasing Interaction and Support in the Formal Languages and Automata
Theory Course // ITiCSE. – 2007. – DOI: 10.1145/1268784.1268803.
7. Rodger S. H. Learning Automata and Formal Languages Interactively with JFLAP // ITiCSE Working Group
Reports. – 2006. – DOI: 10.1145/1140124.1140270.
8. Edwards S. H., Pérez-Quiñones M. A. Web-CAT: A Web-Based Center for Automated Testing. – Virginia Tech.
9. Moodle Documentation. Quiz and Assessment Functionality [Electronic resource]. – Moodle.org.
10. Duke University. CompSci 334: Formal Language and Automata with Applications. – Spring 2026: Syllabus.
