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…

The capabilities of large language models (LLMs) in language comprehension, conversational interaction, and content generation have led to their widespread adoption across various educational stages and contexts. Given the fundamental role of education, concerns are rising about whether LLMs can serve as competent teachers. To address the…

This study presents a comprehensive bibliometric analysis of Artificial Intelligence (AI) research for Multimedia in Education from 2020 to 2024. Using the Dimensions AI database, VOSviewer software and Scimago Graphica, we examined 45 publications to identify key trends, influential contributors, and emerging directions in this rapidly evolving…

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…

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…

This volume offers a rich overview of current research and teaching strategies for the integration of technology into language teaching and learning. It introduces the Planning, Personalization and Implementation (PPI) methodological framework to support educators in engaging with the theoretical foundations and innovative practices that should…

Artificial Intelligence (AI) integration in andragogical education offers significant enhancements to the learning experience for adult learners. By utilizing AI-powered platforms, instructors can provide personalized learning paths that adapt to the unique needs, interests, and goals of each individual. These systems can analyze performance data…

This research endeavors to assess the efficacy of Mobile Assisted Language Learning (MALL) in elevating students' English proficiency to the Common European Framework of Reference (CEFR) B1 level. The study involves identifying the most suitable mobile application for formative assessment, implementing it to enhance students' English competency,…