Programming is becoming increasingly common in mathematics degrees as it is a desirable skill for new graduates. However, research shows that its use is mostly restricted to computational or modelling tasks. This paper reports a study on students' perceptions of and difficulties with Lean, an interactive theorem prover introduced as part of a…

Programming skills are increasingly important to the current digital economy, yet these skills have long been regarded as challenging to acquire. A central challenge in learning programming skills involves the simultaneous use of multiple component skills. This article investigates why students struggle with integrating component skills--a…

This study examined the effect of gamification on visual programming and computational thinking skills among primary school students, aiming to investigate how gamified learning environments enhance cognitive skill development and conceptual integration compared to traditional teaching methods. A quasi-experimental design was employed, involving…