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…

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…

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…

Writing is the highest form of thinking, as evidenced by neuroimaging that shows how more neural networks are activated simultaneously during writing than during any other cognitive activity. This book will help teachers understand how the brain learns to write by unveiling 15 stages of thinking that underpin the writing process, along with…

Excluded-volume interactions are ubiquitous to modeling the average size of polymers in solution. This paper shows how simulations can be used by students to explore the emergence of mathematical scaling relations from excluded-volume interactions. Simulations provide robust visual representations of the system, and can be used to investigate a…

In the era of artificial intelligence (AI), big data (BD), and digital transformation (DT), analytics students should gain the ability to solve business problems by integrating various methods. This teaching brief illustrates how two such methods--Bayesian analysis and Markov chains--can be combined to enhance student learning using the Analytics…

Informal Digital Learning of English (IDLE) refers to individual's learning endeavor occurring in out-of-class environments in a naturalistic way independent from the requirements of a formal education program including assessment. Learners' IDLE experiences in English as a Foreign Language (EFL) contexts are quite important to understand their…

This quasi-experimental research aimed to examine if and to what extent the adaptation of the 4/3/2 technique and self-assessment contributes to the improvement of students' speaking fluency. 24 ninth graders ranging from 11 to 13 years old were separated randomly into control and experimental groups, each having 12 participants. The data were…

Today, schools are introducing STEM education and robotics to children in ever-lower grades. In "Beyond Coding," Marina Umaschi Bers lays out a pedagogical roadmap for teaching code that encompasses the cultivation of character along with technical knowledge and skills. Presenting code as a universal language, she shows how children…

How can the average educator who teaches online, without experience in evaluating emerging technologies, build on what is successful and modify what is not? Written for educators who feel ill-prepared when required to evaluate e-learning initiatives, "Evaluating e-Learning" offers step-by-step guidance for conducting an evaluation plan of…

College student notes were analysed with respect to the amount of words copied directly, omitted and added to the teacher's overheads or PowerPoint slides in order to understand the effect of teacher scaffolds on student generative learning during initial encoding. Scores on quizzes taken at the end of classes from which notes were collected were…

Harnessing student energy for the positive use of technology in the classroom requires significant change for many educators. Students today exhibit a one-click mentality when using computers in the classroom, and are frustrated when they are not provided with instant gratification. Gone are the reading and higher level thinking skills of the pen…

Assessing the language development of bilingual children can be a challenge--too often, children in the complex process of learning both Spanish and English are under- or over-diagnosed with language disorders. SLPs can change that with "SALT 2010 Bilingual S/E Version" for grades K-3, the first tool to comprehensively assess children's language…

CAD (Computer Aided Design) has now become an integral part of Technology Education. The recent introduction of highly sophisticated, low-cost CAD software and CAM hardware capable of running on desktop computers has accelerated this trend. There is now quite widespread introduction of solid modeling CAD software into secondary schools but how…