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…

Artificial intelligence (AI) literacy has emerged to equip students with digital skills for effective evaluation, communication, collaboration, and ethical use of AI in online, home, and workplace settings. Countries are increasingly developing AI curricula to support students' technological skills for future studies and careers. However, there is…

This is the first of four columns by Tim Erikson which introduces us to the Common Online Data Analysis Platform (CODAP). CODAP is a free, web-based software tool that your students can use for many types of tasks. This first column shows how CODAP can be used for mathematical modelling and where it might fit with the "Australian Curriculum:…

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…

This book has been prepared to introduce common technological tools that can be used in science education in the distance education process. Although most of the applications introduced in the book are used in face-to-face education, this book focuses on their use in the distance science education process. In the Introduction part of the book, the…

Vectors have important applications both within and outside mathematics, but the concept of vectors is often taught to students in a less-than-engaging way, leading to students feeling inadequate and frustrated. This article describes the use of a mathematical microworld, "Driving with Vectors," to explore vectors using equitable…

Artificial intelligence is the simulation or development of reasoning and other human-like cognitive abilities by computers. Currently, there is limited exploration of applications of artificial intelligence tools for teaching reading to children in the early childhood and elementary grades, including how artificial intelligence might be used to…

Today math teachers can best reach their students and show them how math surrounds us by using manipulatives, children's literature, and GeoGebra while teaching mathematics. These are some of the best pedagogical practices for teaching mathematics today. In our high-tech world, students need to be proficient in science, technology, engineering,…

We present a case study to teach data visualization with Tableau in an introductory business analytics course. The case uses publicly available data sets from touringplans.com that record wait times for various attractions at Disney World in Orlando, Florida. In the case study, students use Tableau to clean, organize, and analyze wait time data,…

This phenomenographic study investigates how student teachers use TikTok to discover, analyze, evaluate, and adopt classroom management information and strategies. Student teachers often struggle with classroom management regarding student behavior, classroom environment, and instruction. To address these concerns, they turn to traditional print,…

This paper presents the operation of the educational software, Real Estate Data Analyzer, to teachers and future teachers. It is a specific software that allows students carry out complete statistical analysis projects on the characteristics of the buildings that surround them.

The paper suggests ways to benefit student learning online by improving staff training. The paper challenges the assumption that classroom based pedagogy applies to online teaching, with alternative ways that resolve the stress and confusion during the pandemic in the move to permanent blended teaching in the coming year. The paper is the 'front…

In this article, the authors share activities designed to help students make a connection between the complex roots of X[superscript 2] - 2x + 5 = 0 and the graph of y = X[superscript 2] - 2x + 5. We piloted these activities in three precalculus classes. The activities involved both concrete and technological representations of the mathematical…

Integrating ChatGPT into educational contexts has become prevalent due to its potential to revolutionize teaching, learning, and research. However, to ensure positive use, it is necessary to design learning environments that effectively incorporate this technology. This study employed self-determination theory as an undergirding framework to…

This teaching tip explores the integration of AI tools into database education. The author describes how instructors can use AI tools to prepare teaching materials and how students can use AI to facilitate database development. The teaching tips provided encompass both course-level objectives and assignment-specific strategies. The inclusion of AI…