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 paper describes a data set of IR, MS, H-1 NMR, C-13 NMR, DEPT, and 2D NMR spectra designed for undergraduate teaching. The data files are provided as MestReNova documents containing all the available spectra for each of the 251 different compounds in the data set. The spectral data in these files can be processed, manipulated, copied, and…

A chemistry laboratory experiment is described to introduce undergraduate college students to membrane separation technology. This experiment combines a simple nanowire membrane fabrication and visually indicated molecule separation. The membrane is produced via coprecipitation synthesis followed by a filtration assembly process, which can be…

Undergraduate students outside Statistics major frequently take only one class of Basic Statistics or Introductory Statistics during their studies. As a consequence, many of them have little knowledge about advanced statistical methods, such as logistic regression, nonparametric procedures, and multivariate analysis, although they might need to…

We describe how an instructor integrated embodiment to teach the Fundamental Homomorphism Theorem (FHT) and preliminary concepts in an undergraduate abstract algebra course. The instructor's use of embodiment reduced levels of abstraction for formal definitions, theorems, and proofs. The instructor's simultaneous use of various forms of embodiment…

This design case details a seven-year iterative design process to create an app for use in online physical education classes. Each iteration addresses the shortcomings of the previous version. The most recent iteration of the app allows students to use Fitbit™ devices to record heart rate data, which each student sees as progress toward course…

This short note discusses how the optimality conditions for minimizing a multivariate function subject to equality constraints have been covered in some undergraduate Calculus courses. In particular, we will focus on the most common optimization problems in Calculus of several variables: the 2 and 3-dimensional cases. So, along with sufficient…

Medicinal chemistry is an integrated discipline that primarily concerns the design, discovery, synthesis, identification, and interpretation of biologically active compounds at the molecular level. To assist undergraduates in understanding the core subjects of medicinal chemistry, we introduced a closed-loop education mode combining fundamentals…

The benefits of open educational practices that invite students to collaborate and interactively create knowledge are well known. Despite this, it remains underutilized for teaching in research methods classrooms. This article presents a framework for using open pedagogy in undergraduate research methods courses. Drawing upon the knowledge authors…

Today's college students increasingly rely on technology in their daily activities, and a basic awareness of data privacy is becoming essential from both a personal and professional standpoint. This article describes the design of an interdisciplinary undergraduate course focused on data privacy law. It outlines the key content areas that…

The sitcom "The Good Place" can be used by management instructors to teach ethical frameworks and concepts. This series, familiar to many undergraduate students in the US, features a Professor of Ethics and Moral Philosophy who gives mini lectures applied to what the characters are experiencing. These mini lectures can be shown to…

The author of this article demonstrates how the unified approach to answering economic questions employed in modern quantitative macroeconomics research can be taught to undergraduate students using the Solow model. Through an application to post-WWII Japan, students get hands-on experience with (1) documenting empirical facts, (2) developing a…

Journaling assignments are generative practices for the sport management classroom because they can help students process course content through self-reflection and relate their acquired knowledge to their experiences and worldviews. This essay presents journaling as an example of contemplative pedagogy, an educational technique that supports the…

This paper develops a spreadsheet simulation methodology for teaching simulation and performance analysis of priority queues with multiple servers, without resorting to macros, add-ins, or array formula. The approach is made possible by a "single overtaking" simplifying assumption under which any lower-priority customer may be passed in…

The use of mass spectrometry (MS) is becoming widespread and rather routine in all levels of industry, government, and academia. Coupled with chromatographic methods, this powerful instrumental technique can be used to elucidate the composition of a complex sample and definitively identify constituents while offering the benefits of high-precision…