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.

Probability is generally considered one of the most challenging areas to teach in mathematics education due to its intricate nature. However, the simulation-based teaching method can increase students' accessibility significantly to the probability problems because it enables students to resolve the problems with minimal mathematical skills. By…

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…

Simulation is an effective tool for analyzing probability models as well as for facilitating understanding of concepts in probability and statistics. Unfortunately, implementing a simulation from scratch often requires users to think about programming issues that are not relevant to the simulation itself. We have developed a Python package called…

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…

The 2016 Guidelines for Assessment and Instruction in Statistics Education (GAISE) College Report emphasized six recommendations to teach introductory courses in statistics. Among them: use of real data with context and purpose. Many educators have created databases consisting of multiple datasets for use in class; sometimes making hundreds of…

This paper presents a way of utilizing interdisciplinary relations between two educational branches, Mathematics and its applications and Information technologies (ICT) in integrated learning by the use of the Scratch programming language. The authors also present how they understand the concept of integrated learning and why they have chosen to…

In this contribution, we show the practical use of the computer to visualise simple computational simulations to show phenomena that occur in everyday life, or require an abstract understanding for being unintuitive phenomena. The relationship of the mathematics to different scientific disciplines motivates us to devise different treatments to…

CATO is a new user interface, written in Java and developed by the author as a response to the significant difficulties faced by students who only sporadically use computer algebra systems (CAS). The usage of CAS in mathematical lectures should be an integral part of mathematical instruction. However, difficulties arise for those students who have…

Early exposure to data science skills, such as relational databases, is essential for students in statistics as well as many other disciplines in an increasingly data driven society. The goal of the presented pedagogy is to introduce undergraduate students to fundamental database concepts and to illuminate the connection between these database…

Authoring tools for Intelligent Tutoring System (ITS) have been shown to decrease the amount of time that it takes to develop an ITS. However, most of these tools currently do not extend to collaborative ITSs. In this paper, we illustrate an extension to the Cognitive Tutor Authoring Tools (CTAT) to allow for development of collaborative ITSs that…

The article introduces a software application (MATH) supporting an education of Applied Mathematics, with focus on Numerical Mathematics. The MATH is an easy to use tool supporting various numerical methods calculations with graphical user interface and integrated plotting tool for graphical representation written in Qt with extensive use of Qwt…

Recreational Programming (RecPro) is the discipline that encourages the study of computer programming through ludic problems. Problems that are typically studied within this discipline are similar to those of Recreational Mathematics (RecMat), which sometimes leads to the confusion of these two disciplines. The objective for RecPro is to write…

"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,…