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…

Successful comprehension is only possible when children draw inferences about ideas implicit or missing in discourse. Supporting inference-making with explicit instruction must start early given its importance in comprehension and knowledge development. However, students who experience difficulties with early reading skills often do not receive…

Successful comprehension is only possible when children draw inferences about ideas implicit or missing in discourse. Supporting inference-making with explicit instruction must start early given its importance in comprehension and knowledge development. However, students who experience difficulties with early reading skills often do not receive…

This paper explores the efficacy of ChatGPT, a generative artificial intelligence in educational contexts, particularly concerning its potential to assist students in overcoming academic challenges while highlighting its limitations. ChatGPT is suitable for solving general problems. When a student comes across academic challenges, ChatGPT may…

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…

In the changing realm of academic research, Generative Artificial Intelligence (AI) is a significant force, altering the way knowledge is pursued and understood. "Enhancing Doctoral Dissertations Ethically with AI: A Comprehensive Guide" serves as an indispensable guide for doctoral students and educators on the frontline of this shift,…

ChatGPT is having an impact on students, and information systems (IS) and computing academic professionals alike. Our goal for this paper is to help faculty and students know the conditions in which generative AI such as ChatGPT should or should not be used. To that end, we describe the development of a 2x2 matrix. On the horizontal axis we have…

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…

This study investigates the embodied, symbolic, and formal reasoning of two fourth-year university students while exploring geometric reasoning about the Cauchy-Riemann equations with the aid of "Geometer's Sketchpad (GSP)." These students participated in a teaching activity designed to encourage shifts between embodied, symbolic, and…

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…