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…

In this paper, we explore how the typical second year undergraduate topic of matrix diagonalisation can be applied to solve a geometric problem which arises frequently in Vector Calculus: to find the curve of intersection of a plane and a surface. We use GeoGebra, which offers a cost-free and dynamic interface, to explore a specific variant of…

Git, as the leading version-control system, is frequently employed by software developers, digital product managers, and knowledge workers. Information systems (IS) students aspiring to fill software engineering, management, or research positions would therefore benefit from familiarity with Git. However, teaching Git effectively can be…

Introduction: Recent advancements in generative AI (GAI) platforms appear to mark an abrupt shift in higher education. Statement of the Problem: Instructors have a responsibility to teach students to use GAI, which is a promising tool for promoting personalized, student-centered, process-focused learning environments. Literature Review: Drawing on…

Calculating analytical uncertainties as a part of method validation is a relevant aspect of field and laboratory practices in instrumental analytical chemistry subjects, which usually require complex algorithms. This work describes the development and didactic use of an automatic and straightforward informatics tool, implemented in an Excel macro,…

We report the design of a low-cost electrochemical workstation and open-source graphical user interface capable of performing a variety of electrochemical methods in an undergraduate teaching laboratory. The instrument--based on the popular Arduino microcontroller board--can be constructed from common components for $40 USD. The modular design of…

Source code plagiarism is a common occurrence in undergraduate computer science education. Many source code plagiarism detection tools have been proposed to address this problem. However, most of these tools only measure the similarity between assignment submissions, and do not actually identify which are suspicious of plagiarism. This work…

Traditionally, feedback is regarded as crucial in the context of learning and teaching public speaking. In the current course, we analyzed the feedback provided to students by an artificial intelligence (AI) coach and students' learning experiences in developing public-speaking skills via this tool. The MySpeaker Rhetorich speech coach application…

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…

Differential equations are widely used tools for modelling the world around us, making a course in differential equations a natural place for students to connect concrete mathematical applications to abstract concepts. Since students grasp the concepts better by applying them, introducing differential equations through modelling becomes essential.…

The COVID-19 pandemic dramatically impacted the global post-secondary education environment beginning March 2020, leaving many classes using the traditional face-to-face delivery method scrambling to adapt. This paper describes the process used in response to COVID to convert a traditional lecture-style business intelligence class to a flipped…

The paper argues that there is a need for new approaches to teaching proof with newly-available technology. It contributes to filling this need by opening a discussion on digital proof assistants, programs that allow one to do mathematics with the aid of a computer, construct proofs, and check their correctness. The paper starts by exploring such…

Support vector classifiers are one of the most popular linear classification techniques for binary classification. Different from some commonly seen model fitting criteria in statistics, such as the ordinary least squares criterion and the maximum likelihood method, its algorithm depends on an optimization problem under constraints, which is…

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…

This article describes the educational, operational, and practical implementation of an upper-division undergraduate studio-style course centered on the subject of game production. Specifically, the article addresses the course organization and processes, the institutional context for the course (i.e., its situated role in the larger curriculum),…