Background: Computational thinking (CT) is crucial to fostering critical thinking and problem-solving skills. Many elementary schools have been cultivating students' CT through block-based programming languages such as Scratch using traditional teacher-centered teaching methods. However, the approach excessively relies on teacher lectures, so the…

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…

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…

The 1980s and 1990s saw a robust connection between computer science education and cognitive psychology as researchers worked to understand how students learn to program. More recently, academic disciplines such as science and engineering have begun drawing on cognitive psychology research and theories of learning to create instructional materials…

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…

Prior programming knowledge of students has a major impact on introductory programming courses. Those with prior experience often seem to breeze through the course. Those without prior experience see others breeze through the course and disengage from the material or drop out. The purpose of this study is to demonstrate that novice student…

The integration of visual programming in early formal education has been found to promote computational thinking of students. Teachers' intuitive perspectives about optimal learning processes -- "folk psychology" -- impact their perspectives about teaching "folk pedagogy" and play a significant role in integrating educational…

Introductory programming courses (CS1) are difficult for novices. Inspired by "Problem solving followed by instruction" and "Productive Failure" approaches, we define an original "necessity-driven" learning design. Students are put in an apparently well-known situation, but this time they miss an essential ingredient…

Background and Context: Productive failure (PF) is a learning paradigm that flips the order of instruction: students work on a problem, then receive a lesson. PF increases learning, but less is known about student emotions and collaboration during PF, particularly in a computer science context. Objective: To provide insight on students' emotions…

Bibliometric mapping is widely used in educational technology research to visualize research field development (e.g. the current status and trend). However, there has been limited research examining the present state, challenges, and potential applications of bibliometric mapping techniques in the field of educational technology. In an effort to…

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…

This research is focused on how to support students' acquisition of program construction skills through worked examples. Although examples have been consistently proven to be valuable for student's learning, the learning technology for computer science education lacks program construction examples with interactive elements that could engage…

Pair programming (PP), as a mode of collaborative problem solving (CPS) in computer programming education, asks two students work in a pair to co-construct knowledge and solve problems. Considering the complex multimodality of pair programming caused by students' discourses, behaviors, and socio-emotions, it is of critical importance to examine…

A national curriculum for the study of computing became compulsory in English secondary schools in September 2014, replacing the study of information and communications technology with computer science (CS). This posed difficulties for teachers and students who did not have knowledge or experience of programming. This study was designed to…

As students learn how to program, both their programming code and their understanding of it evolves over time. In this work, we present a general data-driven approach, named "Temporal-ASTNN" for modeling student learning progression in open-ended programming domains. Temporal-ASTNN combines a novel neural network model based on abstract…