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…

This article presents a novel approach to introducing principal component analysis (PCA), using summary tables and descriptive statistics. Given its applicability across a variety of academic disciplines, this topic offers abundant opportunity for class discussion and activities. However, teaching PCA in an introductory class can be challenging…

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…

Large Language Model (LLM) artificial intelligence tools present a unique challenge for educators who teach programming languages. While LLMs like ChatGPT have been well documented for their ability to complete exams and create prose, there is a noticeable lack of research into their ability to solve problems using high-level programming…

Biochemistry is a data-heavy discipline, yet teaching students to work with large datasets is absent from many undergraduate Biochemistry programs. Ensuring that future generations of students are confident in tackling problems using big data first requires that educators become comfortable teaching big data skills. The activity described herein…

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…

An essential skill for STEM undergraduates is the ability to understand the world by manipulating, visualizing, and analyzing data to make or evaluate claims. Current online debate, without peer-reviewed literature, explores which of two common R syntax environments (base R or tidyverse) is best for teaching novice R users. In an in-person…

An engaging first programming class (CS1) often inspires students' passion for computer science (CS). However, the evidence in the literature suggests that the average CS1 classes are anything but engaging for many students. The performance of CS compared to other science, technology, engineering, and mathematics (STEM) courses in international…

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…

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…

Contribution: In this article, the authors present findings and insights on the efficacy of using an educational block-based programming (BBP) environment--Blocks4DS, to teach the binary search tree (BST). Background: For a decade, BBP environments have been a hot topic in the computer science education (CSEd) community to promote interactive…

Object-oriented programming (OOP) is not only an integral part of computing degrees but also a requirement in non-computing majors such as engineering. Understanding OOP concepts can be difficult for novice programmers, and often leads to the development of misconceptions. This is exacerbated when the discipline requires students to learn a…

Providing appropriate feedback is important when learning to program. However, it is still unclear how different feedback strategies affect learning outcomes in programming. This study designed four different two-step programming feedback strategies and explored their impact on novice programmers' academic achievement, learning motivations, and…