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 book introduces the main concepts of pragmatics as they relate to the young English language learner classroom and research with young second language learners (YLLs). It considers the speech acts which are particularly relevant to YLLs and presents research findings on learners' development of speech act perception and production. It…

"Effective Use of Collective Peer Teaching in Teacher Education" investigates the learning benefits of letting students assume leadership roles in the classroom, emphasizing both theoretical analysis and firsthand empirical research conducted with pre-service teachers. Building on Vygotsky's (1987) sociocultural theory of human learning…

In this article, the authors provide some insight into how teachers can potentially facilitate among students' representations and activities on mathematical tasks: between or among -- (1) student representations and the context; (2) multiple forms of student representations; and (3) processes in student representations. The authors use the…

Pearson's Learning Foundations describe the optimal conditions for learning and reflect the learner experience Pearson hopes their products will create. Pearson does this by incorporating the Learning Design Principles. Each of the Learning Design Principles goes into detail about a key principle, supporting product design and marketing by…

An online authentic learning environment (OnALE) is proposed in this study to facilitate students' learning of inferential statistics in a real-life context. The efficacy of the OnALE, in comparison to the conventional approach relative to the students' performance, was explored. Respondents from the experimental group were purposively selected to…

As a genre, science fiction is uniquely suited for highlighting and modeling the basic tenets of critical pedagogy, that branch of educational philosophy and theory devoted equally to 1) exposing the hidden power structures embedded in educational practice and 2) articulating equitable and sustainable alternatives. The science fiction novum --…

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…

"Learner Feedback for Language Growth: A Guidebook for Evaluating Learner Work Through Performance Domains and Indicators" gives you concrete examples of the type of feedback that empowers your learners, making them eager to learn more and continue their growth in the language. Going far beyond simply training teachers to rate language…

Imagine handing out assessments that spark enthusiasm rather than dread. In six easy-to-follow steps, this book empowers science teachers to create tasks that guide students to use their knowledge, not just memorize facts. The NGSA design process transforms assessments into valuable classroom tools that teachers can use to chart how students'…

An essential understanding of the uses and practices of algebra remain out of reach for many students. In this book, award-winning researcher Dr. Nicole Fonger addresses the issue of how to support all learners to experience algebra as meaningful. In a highly visual approach, the book details four research-based lenses with examples from 9th-grade…

In this beautifully-written book, the authors skip across the many bridges that connect neuroscience to education, creating a wonderful resource for educators. They consider all the elements that an understanding of neuroscience can bring to education in a highly accessible manner, focusing on emotions and spiritual meaning as well as more…

While looking to revamp his department's Year 7 enquiry on the Tudors, Jack Mills turned to historiographical debates regarding the 'mid-Tudor crisis' to inform his curricular decision making. In doing so, Mills noted that the debate hinged on interpretations of substantive concepts such as 'crisis'. He therefore also drew on previous…

The authors share the results of a research project involving the use of mathematics to develop students' Numeracy General Capabilities. The current article delves into an example of a teacher supporting 'good habits of mind' through focussing on the Critical Learning Disposition of accuracy.

This extensively updated teaching resource provides over 100 engaging, full-color visuals with explanations of how they can be used to stimulate mathematics learning, to explain mathematical concepts, and to assess students' mathematical understanding in grades K-8. Readers are provided with a strong mathematical background, downloadable copies of…