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 short paper presents an educational approach to teaching three popular methods for encoding DNA sequences: one-hot encoding, binary encoding, and integer encoding. Aimed at bioinformatics and computational biology students, our learning intervention focuses on developing practical skills in implementing these essential techniques for…

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…

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…

Human-driven carbon emissions have resulted in increased levels of dissolved carbon dioxide in the Earth's oceans. This dissolved carbon dioxide reacts with water to form carbonic acid, which impacts ocean acidity as well as the solubility of carbonate-containing compounds, with far-reaching impacts on marine ecosystems and the human communities…

The authors present a Web application they designed in the R programming language as an experiential learning tool for teaching production theory. The app simulates production decisions where a manager is tasked to find the optimal mixture of inputs through experimentation. Users of the application are instructed to use calculations and intuitions…

Introducing elementary concepts of nuclear magnetic resonance spectroscopy (NMR) to a beginner can be challenging. Using an interactive graphical platform can greatly aid in demonstrating key concepts in such cases. This paper aims to bridge this gap in teaching basic NMR spectroscopy through simple standalone interactive Python programs or a…

Summary statistics and data visualizations are often used to explore data and draw preliminary conclusions. Although valuable, these tools do not always reveal the underlying patterns and trends in the data and can sometimes be misleading. We describe an approach for teaching the need for more advanced statistical analysis using multiple linear…

Learning to code is far from an easy task, it is a promising approach that underscores the use of the video game culture of students to motivate them to invest their time in the practice of programming. The students in this discipline are often discouraged by the amount of information to remember and the complex and constraining syntaxes.…

The COVID-19 pandemic has forced the Bioinformatics course to switch from on-site teaching to remote learning. This shift has prompted a change in teaching methods and laboratory activities. Students need to have a basic understanding of DNA sequences and how to analyze them using custom scripts. To facilitate learning, we have modified the course…

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…

The 1980s and 1990s saw a robust connection between computer science education and cognitive psychology as researchers worked to understand how students learn to program. More recently, academic disciplines such as science and engineering have begun drawing on cognitive psychology research and theories of learning to create instructional materials…

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…