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…

E-learning is one of the fastest growing areas of the high technology development, especially in the academic environments. However, the instructor is a very important factor in the learning process, but the advantages of e-learning change the role which the instructor plays in this process. E-learning gives an opportunity to anyone to learn in a…

Traditionally, feedback is regarded as crucial in the context of learning and teaching public speaking. In the current course, we analyzed the feedback provided to students by an artificial intelligence (AI) coach and students' learning experiences in developing public-speaking skills via this tool. The MySpeaker Rhetorich speech coach application…

ChatGPT, an artificial intelligence (AI) large language model system, has taken the world by storm. Fearful that students would use ChatGPT to circumvent the learning process, multiple school districts in the U.S. have outright banned its use. Despite this, there are some who suggest that ChatGPT has the potential to reshape the field of education…

Education is concerned with the production of intelligence. Is AI intelligent? and what are the implications for educating humanity? Samuel Butler makes the case that machinery emerges in co-relation with the evolution of humanity. In other words, the evolution of machines relies on the human intervention for reproduction, and the evolution of…

Introduction: The integration of artificial intelligence (AI) into higher education ushers in a new era of teaching and learning possibilities for both educators and students. Statement of the Problem: These technologies not only offer unparalleled opportunities for personalized learning and instructional support, but also introduce challenges…

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…

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…

ChatGPT employs a deep learning (DL) model constructed using artificial neural networks and designed to analyze input data and extract increasingly complex features (Hu and Buehler 2023). Its chatbot interface makes it easy to use, requiring just a prompt to generate a response from the model. It is capable of producing fluent text in multiple…

It is often necessary to enrich the teaching environment in order for students to learn optics in depth and to interpret the real optical situations with the information they have learned. In this study, a virtual teaching environment was developed using by Algodoo, a 2D simulation software. An eye model was created in order to explain the…

This paper proposes an updated framework for the evaluation of the computer-assisted language learning (CALL) framework, further developed from Chapelle (2001) and González-Lloret and Ortega (2014). Based on a review of prominent previous CALL evaluation frameworks, an exploration of relevant literature in formal evaluation and my own first-hand…

This document provides guiding principles and practical examples for using AI in teaching and learning. Underpinned by a human-centred approach, the PATH principles serve as key guidance to ensure the ethical and effective integration of AI systems into teaching and learning. The PATH principles are: Promote teaching and learning; Advance…

The emergence of online learning has sparked increased interest in predicting learners' academic performance to enhance teaching effectiveness and personalized learning. In this context, we propose a complex model APPMLT-CBT which aims to predict learners' performance in online learning settings. This systemic model integrates cognitive, social,…

As digital learning becomes an increasingly popular modality for teaching and learning, so too has the use of courseware in postsecondary institutions. Approaching the design and implementation of digital courseware from an explicitly equity-minded perspective is vital to supporting historically marginalized students. I offer the Equity First…

Ten years after the announcement of the "rise of the super experiment" at Educational Data Mining 2012, challenges to implementing "internet scale" educational experiments often persist for educational technology providers, especially when they seek to test substantive instructional interventions. Studies that deploy and test…