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…

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

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…

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…

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…

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…

This study tried to design a WhatsApp bot to be implemented in English language vocabulary learning context in Oman. 150 Omani English as a Foreign Language (EFL) students from three different proficiency levels were selected based on random sampling. To measure the effectiveness of the treatment, pretests, posttests, and delayed posttests were…

Recent educational policies advocate a radical revision of science curricula and pedagogy, to support interdisciplinary practices, a distinguishing feature of contemporary science. Computational modeling (CM) is a core methodology of interdisciplinary science, as such models allow intertwining of data and theoretical perspectives from multiple…

The general growth in public affairs programs offering hybrid and online courses to reach a wide variety of students, along with the necessity of doing so during a global health pandemic, calls for an investigation of best practices in teaching public affairs statistics and research-oriented courses. These courses often require the use of a…

No-code/low-code app development is transforming traditional information system development paradigms. This teaching tip uses an example of course unit of decision support systems (DSS) to demonstrate that introducing no-code system implementation assignments into a course as a replacement for computer programming language exercises can improve…

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…

Creating learning environments that integrate arts, sciences, and computing in education can improve learning in these disciplines. In particular, transdisciplinary integrations of these disciplines can lead to expansive alterations or dissolutions of epistemological, ideological, and methodological boundaries. We wish to support teachers in the…