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…

This research is part of the Artificial Intelligence Virtual Trainer (AI-VT) project which aims to create a system that can identify the user's skills from a text by means of machine learning. AI-VT is a case-based reasoning learning support system can generate customized exercise lists that are specially adapted to user needs. To attain this…

Pair programming (PP) can help improve students' computational thinking (CT), but the trajectory of CT skills and the differences between high-scoring and low-scoring students in PP are unknown and need further exploration. In this study, a total of 32 fifth graders worked on Scratch tasks in 16 pairs. The group discourse of three learning topics…

Despite the elevated importance of Data Science in Statistics, there exists limited research investigating how students learn the computing concepts and skills necessary for carrying out data science tasks. Computer Science educators have investigated how students debug their own code and how students reason through foreign code. While these…

Understanding students' learning of knowledge components (KCs) is an important educational data mining task and enables many educational applications. However, in the domain of computing education, where program exercises require students to practice many KCs simultaneously, it is a challenge to attribute their errors to specific KCs and,…

The aim of this explanatory study is to identify the causes of intrinsic cognitive load in programming process. For this purpose, a method based on two dimensions; programming knowledge types (syntactic, semantic, and strategic) and programming constructs was proposed. The proposed method was tested with high school students enrolled in Computer…

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…

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…

Learning to code is far from an easy task, it is a promising approach that underscores the use of the video game culture of students to motivate them to invest their time in the practice of programming. The students in this discipline are often discouraged by the amount of information to remember and the complex and constraining syntaxes.…

This study explores the role of socially shared regulation on computational thinking performance in cooperative learning. Ninety-four middle school students from China aged between 16 and 18 participated in this study. Forty-six students were in the experimental group, and 48 students were in the control group. Students in the experimental group…

Integrating computational thinking into K-12 Education has been a widely explored topic in recent years. Particularly, effective assessment of computational thinking can support the understanding of how learners develop computational concepts and practices. Aiming to help advance research on this topic, we propose a data-driven approach to assess…

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…

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…

The rapid development of education informatization has accumulated a large amount of data for learning analytics, and adopting educational data mining to find new patterns of data, develop new algorithms and models, and apply known predictive models to the teaching system to improve learning is the challenge and vision of the education field in…

This autoethnographic paper is part of a special issue trying to answer the question "How to design or choose languages for programming novices?" I will describe how my programming language Hedy was created, how the initial design goals were formed, how my perspectives on learning and teaching changed along the way, and how Hedy changed…