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…

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.…

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…

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…

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…

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.…

This paper presents the first experiences of the use of an online open-source repository with programming exercises. The repository is independent of any specific teaching approach. Students can search for and select an exercise that trains the programming concepts that they want to train and that only uses the programming concepts they already…

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 current study attempted to measure the impact of using an interactive WhatsApp bot designed using Python language programming in grammar learning. To this end, sixty Omani pre-intermediate English proficiency learners were the sample population of this study to act as a control and experimental group, with an equal number of students in each…

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…

In the era of artificial intelligence (AI), big data (BD), and digital transformation (DT), analytics students should gain the ability to solve business problems by integrating various methods. This teaching brief illustrates how two such methods--Bayesian analysis and Markov chains--can be combined to enhance student learning using the Analytics…

Basic quantitative and population genetics topics are typically taught in introductory plant breeding courses and are critical for success in upper-level study. Active learning, including simulations and games, may be useful for instruction of these concepts, which rely heavily on theory and may be more challenging for students. The statistical…