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…

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…

Today, schools are introducing STEM education and robotics to children in ever-lower grades. In "Beyond Coding," Marina Umaschi Bers lays out a pedagogical roadmap for teaching code that encompasses the cultivation of character along with technical knowledge and skills. Presenting code as a universal language, she shows how children…

This paper examines how students' experiences of learning to program are affected by feelings of fear, using a phenomenological approach to elicit rich descriptions of personal experiences from the narratives of final year undergraduate students. In the course of reviewing current work concerning learning or teaching programming, certain focal…