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…

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.

This paper describes an investigation looking at the underlying mathematics of poker machines. The aim of the investigation is for students to get an appreciation of how poker machines are designed to ensure that in the long-term players will inevitably lose when playing. The first part of this paper describes how students can model a simple poker…

The aim of this article is to inspire more teachers to explore the use of codable robots for teaching mathematics. The authors begin by discussing four benefits experienced by incorporating robots into middle school mathematics classes: (1) reasonable time frames; (2) authentic purposes for mathematics; (3) visual and nonevaluative feedback; and…

This article is written to share teaching ideas about using commonly available computer applications--a spreadsheet, "The Geometer's Sketchpad", and "Wolfram Alpha"--to explore three classic and historically significant problems from the probability theory. These ideas stem from the authors' work with prospective economists,…

E-assessments of students profoundly influence their motivation and play a key role in the educational process. Adapting assessment techniques to current technological advancements allows for effective pedagogical practices, learning processes, and student engagement. The "Handbook of Research on E-Assessment in Higher Education"…

In this paper "Derive" functions are provided for the computation of the Moore-Penrose inverse of a matrix, as well as for solving systems of linear equations by means of the Moore-Penrose inverse. Making it possible to compute the Moore-Penrose inverse easily with one of the most commonly used Computer Algebra Systems--and to have the blueprint…

"Scratch" is a media-rich digital environment that utilises a building block command structure to manipulate graphic, audio, and video aspects. It incorporates elements of Logo including "tinkerability" in the programming process. In "Scratch" students use geometric and measurement concepts such as coordinates, angle,…

Uses vectors and programming with graphing calculators to analyze a ride in an amusement park (the "Scrambler") that has three long arms that revolve horizontally around a central post, at the end of which hang seats revolving in circles. (ASK)

This paper presents a goal-based scenario approach to teaching introductory database concepts to undergraduates using two different scaffolding methods. One method, termed "worked-out examples," attempts to reduce extraneous cognitive load by requiring students to complete increasingly complex missing parts of worked out examples. The other…

Presents ideas for purposeful statistical investigations based on data from "TV Guide" that involve simulations using a spreadsheet. (MKR)

Graphs equations in two variables using a BASIC screen-sweep program that generates solutions to equations by applying the intermediate value theorem. Provides suggestions for investigations that result in graphs of a butterfly, the Cheshire cat, the Trisectrix of Catalna, E. T. waving goodbye, a praying mantis, and others. (MDH)

Discusses a visual programming language, Function Machine Lab, which helps students with the concept of function using the function machine image. (MKR)

Uses three computer software programs to help students develop algebraic reasoning. Programs include spreadsheets, Logo programming language, and Teasers by Tobbs. (ASK)

This book demonstrates, for teachers at all levels, applications of technology tools for the effective learning and teaching of mathematical skills and concepts as suggested by the National Council of Teachers of Mathematics (NCTM). It focuses on the use of general-purpose computer tools in the mathematics classroom, with an emphasis on problem…