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…

Real-time collaborative programming (RCP), which allows multiple programmers to work concurrently on the same codebase with changes instantly visible to all participants, has garnered considerable popularity in higher education. Despite this trend, little work has rigorously examined how undergraduates engage in collaborative programming when…

Despite the increasing use of the statistical programming language R in statistics and data analysis (SDA), its implementation in communication science education is limited. Experiences, recommendations, and a critical exchange are therefore scarce. The following contribution addresses this very gap. At the Department of Journalism and…

Computational thinking (CT), an essential competency for comprehending and addressing intricate issues in the digital world, has been incorporated into curriculum planning as a goal for programming education. This study introduced flow design into programming curricula to investigate its impact on undergraduates 'CT skills during pair work. Two…

This study explores the application of the Project-Based Learning with Gamification Model (PBLGM) through Visual Programming Language (VPL) to enhance digital competencies and problem-solving skills in learners. The PBLGM model integrates project-based learning and gamification techniques using Kodu Game Lab, aiming to develop essential…

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

When incorporating programming into a statistics course, there are many pedagogical considerations. In R, one consideration is the particular R syntax used. This article reports on a head-to-head comparison of a pair of introductory statistics labs, one conducted in the formula syntax, the other in tidyverse. Pre- and post-surveys show minimal…

Recent advancements in large language models (LLMs) hold significant promise for improving physics education research that uses machine learning. In this study, we compare the application of various models for conducting a large-scale analysis of written text grounded in a physics education research classification problem: identifying skills in…

The integration of various programming languages into the undergraduate engineering curriculum often occurs without adequate evaluation of their effectiveness within specific disciplines. Recently, Python and MATLAB have garnered significant attention as preferred languages for teaching subjects such as image processing and computer vision.…

Educational technologists and practitioners have made substantial strides in developing affordable digital and tangible resources to support both formal and informal computer science instruction. However, there is a lack of research on practice-based assignments, such as Internet of Things (IoT) projects, that allow undergraduate students to…

Computer programming and municipal engineering (ME) students' specialised knowledge are still poorly integrated, leading to limited improvement of students' programming abilities. This paper describes an effective attempt in ME at Xi'an University of Architecture and Technology (XAUAT). Students were divided into several teams and required to…

Conversational agents (CAs) primarily adopt knowledge scaffolding (KS) or emotional scaffolding (ES) to intervene in learners' knowledge gain and emotional experience in online learning. However, the ill-defined design for KS and ES, as well as insufficient understanding of their interactive effects on learning outcomes, have hindered the…

To meet the demands of industry, undergraduate business curricula must evolve to prepare analytics-enabled professionals in fields such as finance, accounting, human resource management, and marketing. In this article, we provide a case study of developing a rigorous, integrated finance and data analytics course that was delivered using a…

A significant activity in the business analytics process is enrichment, which deals with acquiring and combining data from external sources. While different strategies for enrichment are possible, it can be accomplished more efficiently through automation using Python scripts. Since business students may not be immersed in technology skills and…

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…