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…

Many management information systems (MIS) faculty have adopted a project-oriented approach in their systems analysis and design courses. In these courses, students use a software development methodology to create a web or mobile application project, which can be based on a predefined case or developed for an external stakeholder. Because most…

We present an investigation of the infinite sequences of numbers formed by calculating the pairwise averages of three given numbers. The problem has an interesting geometric interpretation related to the sequence of triangles with equal perimeters which tend to an equilateral triangle. Investigative activities of the problem are carried out in…

Audacity is a multi-platform free, open-source audio recorder and editor software. The advantage of Audacity software is as follows: easy installation and simple visual interface, no registrations or hardware requirements, and availability at no cost might make it a preferred software to carry out class demonstrations and lab activities for an…

This article introduces an open-source software package--R for Qualitative Data Analysis (RQDA). RQDA is an R package for analysis of text-formatted data, which is compatible across operating platforms. It is user-friendly and seamlessly integrates with R, which makes it possible to conduct statistical analyses on qualitative coding. Alternative…

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…

Employing best practices for teaching mathematics like math manipulatives, children's literature picture books, and GeoGebra can all be connected and better help to prepare students for a STEM world to develop confident young individuals in doing mathematics in a world of AI, distance learning, and online with emerging technologies. This paper…

COVID-19 caused widespread changes in how people worked. The education community was dramatically impacted. Teachers were forced to quickly pivot from teaching students in person on-campus to virtually online. Among the challenges educators faced were the inequity of technology access and unreliable internet options. The move to virtual…

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…

Video games have emerged as a medium for learning by creating engaging environments, encouraging creative and deep thinking, and exposing learners to complex problems. Unfortunately, even though there are increasing examples of video games for many basic science and engineering concepts, similar efforts for higher level engineering concepts such…

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

CRISPR-Cas9 is revolutionizing how we conduct scientific research, treat disease, and develop new crops. The widespread impact of this genome-editing technology makes it critical for undergraduate students to understand and engage with this new tool. In this article, we describe a multi-week lab module that teaches undergraduates how to design…

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.