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…

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…

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…

Background: Computational thinking (CT) refers to the ability to represent problems, design solutions and migrate solutions computationally. While previous studies have shown that self-explanation can enhance students' learning, few empirical studies have examined the effects of using different self-explanation prompts to cultivate students' CT…

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…

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…

Due to the development of deep learning technology, its application in education has received increasing attention from researchers. Intelligent agents based on deep learning technology can perform higher order intellectual tasks than ever. However, the high deployment cost of deep learning models has hindered their widespread application in…

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…

Hour of Code is a widely recognized global event that aims to introduce programming to novice users and integrate computer science into education. This paper presents an analysis of the effectiveness of the support system and user interface of Minecraft Adventurer, a serious game designed for the Hour of Code global event. Although previous…

In Education 4.0, a personalized learning process is expected, and that students are the protagonist. In this new education format, it is necessary to prepare students with the skills and competencies of the 21st-Century, such as teamwork, creativity, and autonomy. One of the ways to develop skills and competencies in students can be through block…

Query languages are the foundations of database teaching and education practices. The broad adoption of graph databases contrasts with the limited research into how they are taught. Contrary to relational databases, graph databases allow navigational queries with higher expressivity and lack an a priori schema. In this article, we design a…