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…

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…

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…

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…

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

Fashion designers in the digital era will be expected to have a profound knowledge of programming and physical computing. Therefore, finding effective methods to adopt E-textiles in fashion education is developing imperative furtherance. E-textiles are clothes embedded with microcomputers, digital components (sensor, LED), and other electronic…

Computational thinking in physics has many different forms, definitions, and implementations depending on the level of physics or the institution it is presented in. To better integrate computational thinking in introductory physics, we need to understand what physicists find important about computational thinking in introductory physics. We…

Drawing on historical epistemology and considerations on the function of scientific modelling, this article investigates how in the mid-twentieth century electronic and programmable animal models became tools for exploring the inaccessible ontology of the human mind. The article examines how machines have informed our understanding of the learning…

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…

Excluded-volume interactions are ubiquitous to modeling the average size of polymers in solution. This paper shows how simulations can be used by students to explore the emergence of mathematical scaling relations from excluded-volume interactions. Simulations provide robust visual representations of the system, and can be used to investigate a…

Computer programming for young children has grown in popularity among both educators and product developers, but still relatively little is known about what skills children are developing when they code. This study investigated N = 57 Kindergarten through second grade children's performance on a programming assessment after engaging in a 6-week…

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…