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…

Many 4-year public institutions face significant pedagogical challenges due to the high ratio of students to teaching team members. To address the issue, we developed a workflow using the programming language R as a method to rapidly grade multiple-choice questions, adjust for errors, and grade answer-dependent style multiple-choice questions,…

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…

The author describes an assignment in an undergraduate game theory course in which students work together in class to develop a computer algorithm to identify Nash equilibria. This assignment builds basic computer science skills while applying game theory knowledge to real-world situations. Students work as a team to delineate the steps and write…

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…

This article presents a multi-stage guided technical project coding Python scripts for utilizing Amazon Web Services (AWS) to work with a document-store database called DynamoDB. Students doing this project should have taken an introductory programming class (ideally in Python) and a database class to have experience with Python coding and…

The rise of "big data" within the biological sciences has resulted in an urgent demand for coding skills in the next generation of scientists. To address this issue, several institutions and departments across the country have incorporated coding into their curricula. I describe a coding module developed and deployed in an undergraduate…

Electrochemistry is a branch of chemistry concerned with the interrelation of electrical and chemical effects, in which mathematical equations are employed to describe the fundamental principles of electrode processes and measurement methods. In this work, we present a graphical simulation that provides visual observations of dynamical behavior…

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…

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…

Machine learning, a subdomain of artificial intelligence, is a widespread technology that is molding how chemists interact with data. Therefore, it is a relevant skill to incorporate into the toolbox of any chemistry student. This work presents a workshop that introduces machine learning for chemistry students based on a set of Python notebooks…

The author of this article describes a new undergraduate course where students use Python programming for macroeconomic data analysis and modeling. Students develop basic familiarity with dynamic optimization and simulating linear dynamic models, basic stochastic processes, real business cycle models, and New Keynesian business cycle models.…

A significant activity in the business analytics process is enrichment, which deals with acquiring and combining data from external sources. While different strategies for enrichment are possible, it can be accomplished more efficiently through automation using Python scripts. Since business students may not be immersed in technology skills and…

University students in other disciplines without prior knowledge in statistics and/or programming language are introduced to the statistical method of decision trees in the programming language R during a 45-minute teaching and practice session. Statistics and programming skills are now frequently required within a wide variety of research fields…

The Poisson distribution describes the probability of a certain number of events occurring in an interval of time when the occurrence of the individual events is independent of one another and the events occur with a fixed mean rate. Probably the best-known example of the Poisson distribution in the physics curriculum is the temporal distribution…