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…

A staple of many spreadsheet-based management science courses is the use of Excel for activities such as model building, sensitivity analysis, goal seeking, and Monte-Carlo simulation. What might those things look like if carried out using Python? We describe a teaching module in which Python is used to do typical Excel-based modeling and…

R is becoming the standard for teaching statistics due to its flexibility, and open-source nature, replacing software programs like Minitab and SPSS. The main driver for reform within Scottish statistical undergraduate programs is the creation of the Scottish Qualification Authority's Higher Applications of Mathematics course which has statistics…

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…

Laboratory automation and data science are valuable new skills for all chemists, but most pedagogical activities involving automation to date have focused on upper-level coursework. Herein, we describe a combined computational and experimental lab suitable for a first-year undergraduate general chemistry course, in which these topics are…

In Spring 2020, the need for redesigning online assessments to preserve integrity became a priority to many educators. Many of us found methods to proctor examinations using Zoom and proctoring software. Such examinations pose their own issues. To reduce the technical difficulties and cost, many Zoom proctored examination sessions were shortened;…

Background: Engineering curricula are built around faculty and accreditors' perceptions of what knowledge, skills, and abilities graduates will need in engineering careers. However, the people making these decisions may not be fully aware of what industry employers require for engineering graduates. Purpose/Hypothesis: The purpose of this study is…

An integrated inorganic chemistry laboratory experience focusing on heterogeneous electrocatalysis with nickel (Ni)- and cobalt (Co)-based electrocatalysts is designed for upper-division, major-level chemistry students. In this laboratory, students will be guided through the fabrication of an indium tin oxide (ITO)-coated glass working electrode,…

This paper proposes a framework for integrating generative artificial intelligence (AI) tools into statistical training for Doctor of Education (EdD) students. The rigorous demands of doctoral education, coupled with the challenges of learning complex statistical software and coding language, often lead to anxiety and frustration among students,…

Machine learning and data mining techniques have been widely used in educational settings to identify the important features that tend to influence students' learning performance and predict their future performance. However, there is little to no research done in the context of Singapore's education. Hence, this study aims to fill the gap by…

Teaching software engineering (SWE) as a core computer science course (ACM, 2013) is a challenging task. The challenge lies in the emphasis on what a large-scale software means, implementing teamwork, and teaching abstraction in software design while simultaneously engaging students into reasonable coding tasks. The abstraction of the system…

In education, space exists for a tool that valorizes generic student course evaluation formats by organizing and recapitulating students' views on the pedagogical practices to which they are exposed. Often, student opinions about a course are gathered using a general comment section that does not solicit feedback concerning specific course…

As vast amounts of data have become available in business in recent years, the demand for data scientists has been rising. The author of this article provides a tutorial on how one entry-level machine learning competition from Kaggle, an online community for data scientists, can be integrated into an undergraduate econometrics course as an…

Dimensionality reduction techniques are essential in analyzing large 'omics' datasets in biochemistry and molecular biology. Principal component analysis, t-distributed stochastic neighbor embedding, and uniform manifold approximation and projection are commonly used for data visualization. However, these methods can be challenging for students…