Computer programming is regarded as an important skill for the future. However, many K-12 students face challenges and difficulties in learning traditional text-based programming. Block-based visual programming (BVP) can reduce the difficulty of learning programming and is seen as a potential programming education tool. Nevertheless, the effects…

As new technological developments continue to change the educational landscape, it is not an exception in the area of proof and proving. This classroom note introduces the use of one of the trending proofs assistants -- the Lean theorem prover. We first provide a technical account of Lean, then exemplify Lean proofs in propositional logic, number…

"Self-regulated learning" (SRL) significantly impacts the process and outcome of "programming problem-solving." Studies on SRL behavioural patterns of programming students based on trace data are limited in number and lack of coverage. In this study, hence, the Hidden Markov Model (HMM) was employed to probabilistically mine…

Computer programming provides a framework for interdisciplinary learning in sciences, arts and languages. However, increasing integration of programming in K--12 shows that the block-based and text-based dichotomy of programming environments does not reflect the spectrum of their affordance. Hence, educators are confronted with a fundamental…

Background: Students make many errors in visual programming. In order to learn from these, it is important that students regulate their emotions and view errors as learning opportunities. Aims: This study aimed to explore to what extent momentary emotions, specifically enjoyment, anxiety and boredom, as well as the error learning orientation of…

The ability to properly evaluate one's own academic progress has long been considered a predictor of academic success. However, its distinctive role in the context of computational mathematics remains underexplored. Grounded in social cognitive theory, this study investigates the critical role of self-regulated learning (SRL) strategies in…

This study critically reviews sixteen empirical studies that investigate the various difficulties that primary school students encounter while learning programming through educational games. Specifically, the challenges that students face in understanding basic programming concepts and the game elements that contribute to these difficulties, as…

This study focuses on students' self-assessment during their learning process related to computer programming concepts, taking into account challenges and obstacles both teachers and students face, with the aim to contribute to the development of guiding principles and practices and enhance the teaching process of computer programming in primary…

Background: With the increasing interdisciplinarity between computer science (CS) and other fields, a growing number of non-CS students are embracing programming. However, there is a gap in research concerning differences in programming learning between CS and non-CS students. Previous studies predominantly relied on outcome-based assessments,…

Background/purpose: The emergence of educational technologies has profoundly transformed teaching and learning methods in health sciences. This bibliometric study aims to identify the most widely used educational practices in this field between 2014 and 2024, exploring their applications within a constantly evolving technological context.…