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 investigated the effects of concept-oriented faded in worked-out examples (WOE) and metacognitive scaffolding on learners' transfer performance and motivation in programming education. Two types of faded in WOE and metacognitive scaffolding were provided. A total of 140 participants were randomly assigned into one of four groups, with…

Probability theory has extensive applications across various domains, such as statistics, computer science, and finance. In probability education, students are introduced to fundamental principles which may include mathematical topics such as combinatorics and symmetric sample spaces. Students pursuing degrees in computer science possess a robust…

Background and Context: Multiple studies report that experienced instructors lack consensus on the difficulty of programming tasks for novices. However, adequately gauging task difficulty is needed for alignment: to select and structure tasks in order to assess what students can and cannot do. Objective: The aim of this study was to examine…

High-resolution displays on mobile devices, accurate motion sensors, and efficient mobile processors have taken virtual reality (VR), essentially employed in laboratory, to everyday environments, including homes, workplaces, and classrooms. Regarding programming education, it has been investigated in conjunction with various educational…

Background and Context: In order to fully include learners with visual impairments in early programming education, it is necessary to gain insight into specificities regarding their experience of and approach to abstract computational concepts. Objective: In this study, we use the model of the layers of abstraction to explore how learners with…

As technology-enhanced children's learning has gained wide attention, programmable robots have been gradually introduced in early childhood education. Hence, it would be valuable to understand how young children perceive robot programming learning. Draw-a-picture technique is an ideal method to elicit ideas, thoughts, and feelings for children…

This study examined the effects of embodied learning experiences on students' understanding of computational thinking (CT) concepts and their ability to solve CT problems. In a mixed-reality learning environment, students mapped CT concepts, such as sequencing and loops, onto their bodily movements. These movements were later applied to robot…