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…

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…

We present a Scratch task we designed and implemented for teaching and learning coordinates in a dynamic and engaging way. We use the 5Es framework to describe the students' interactions with the task and offer suggestions of how other teachers may adopt it to successfully implement Scratch tasks.

Computational notebooks are an increasingly common tool used to support student learning in a variety of contexts where computer programming can be applied. These notebooks provide an easily distributable method of displaying text and images, as well as sections of computer code that can be manipulated and run in real-time. This format allows…

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…

To provide the current student generation with an innovative online learning method, podcasts with science fiction short stories are introduced to marketing education. Findings from neurology and psychology point to positive effects of storytelling for gaining knowledge and developing interpersonal skills. Science fiction stories challenge common…

Structured Query Language (SQL) is still the de facto database query language widely used in industry and taught in almost all university level database courses. The role of SQL is further strengthened by the emergence of NewSQL systems which use SQL as their query language as well as some NoSQL systems, e.g., Cassandra and DynamoDB, which base…

NoSQL databases have been used in organizations for decades. Few database textbooks on the market, however, have suitable materials about NoSQL beyond general introductions for typical business students. In fact, users of the typical NoSQL systems on the software market need to have certain computer programming skills. This teaching tip introduces…

There has been an increased emphasis in recent years on supporting young children with building 21st century literacy skills such as critical thinking and collaboration. Unfortunately, young children with or at risk for disabilities are unlikely to receive access to experiences that build 21st century literacies. Pre-coding activities, which…

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…

Background and Context: Peer code review activities provide well-documented benefits to students in programming courses. Students develop relevant skills through exposure to alternative coding solutions, producing and receiving feedback, and collaboration with peers. Despite these benefits, low student motivation has been identified as one of the…

Excluded-volume interactions are ubiquitous to modeling the average size of polymers in solution. This paper shows how simulations can be used by students to explore the emergence of mathematical scaling relations from excluded-volume interactions. Simulations provide robust visual representations of the system, and can be used to investigate a…

In the era of artificial intelligence (AI), big data (BD), and digital transformation (DT), analytics students should gain the ability to solve business problems by integrating various methods. This teaching brief illustrates how two such methods--Bayesian analysis and Markov chains--can be combined to enhance student learning using the Analytics…

Experimental teaching is essential for a good understanding of science, especially on Physics. Practical activities play an important role for engaging students with science, mainly when they interact directly with equipment, collect experimental data with computers and/or use interactive software for data analysis. In this work, we present the…

This article introduces the use of "VPython" (the "Python" programming language plus a 3D graphics module called "Visual") as a potentially valuable tool in teaching aspects of secondary school chemistry, which also provides an opportunity for students to gain some experience with manipulating and/or writing computer…