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…

Unified Modelling Language (UML) class diagrams are standard tools in software engineering education, typically analysed for syntactical correctness rather than their communicative dimensions. This study applies semiotic theory to investigate how first-year Bachelor of Computer Information Systems students engage with UML class diagrams as…

The integration of different technologies for formative assessment activities into the classroom is very important for the effectiveness of learning and teaching processes. This study is an experimental study in which the student teachers designed jupyter notebooks as formative assessment activities for specified aims and subject contents. For…

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…

Background and context: There were few studies indicating if students' computational thinking (CT) self-efficacy and their CT performance were aligned with each other. Objectives: The study was to investigate if there was a discrepancy between students' CT self-efficacy and their CT performance. Method: Involving 104 non-CS undergraduate students…

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

Data science has become an increasingly popular topic among engineering students and practitioners as high-profile engineering applications of machine learning and artificial intelligence continue to make headlines. Companies in engineering domains are placing a growing emphasis on hiring engineers who can extract insights and create value from…

Scientific programming has become increasingly essential for manipulating, visualizing, and interpreting the large volumes of data acquired in earth science research. Yet few discipline-specific instructional approaches have been documented and assessed for their effectiveness in equipping geoscience undergraduate students with coding skills. Here…

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…

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

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