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…

Purpose: We developed the Goal Achievement Scale in Colleges of Education (GASCE) to address the lack of context-specific assessment tools for evaluating goal achievement in Nigerian colleges of education. Existing instruments fail to capture the unique challenges of these institutions, making a reliable and valid scale essential for assessing…

The rapid advancement of educational technologies worldwide and the ubiquitousness of technology-integrated teaching and learning have posed great challenges to teachers. Technology leadership is an emerging focus among educators, it involves using technologies to lead learners' knowledge, abilities, and values development. However, there are few…

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…

Knowledge assessments in undergraduate mathematics education commonly evaluate response correctness to determine learner proficiency. However, simultaneous evaluation of learner metacognition more accurately assesses the multiple dimensions of knowledge and has been shown to increase assessment validity and reliability. Research into…

The RP Group's Multiple Measures Assessment Project (MMAP) produced this technical report as part of a series on how California's community colleges can ensure more English learners (ELs) successfully complete "gateway" English coursework -- courses that satisfy the English writing requirements for completion of an associate's degree as…

Test writing is a fundamental component of teaching. With increasing pressure to teach larger groups of students, conduct formal assessment of learning outcomes, and offer online and hybrid classes, there is a need for alternatives to constructed response problem-solving test questions. We believe that appropriate use of multiple-choice (MC)…

This article outlines an active learning project that gives students hands-on experience in developing an undergraduate situational judgment test. The five-part activity models the process for constructing a situational judgment test--a tool commonly used for employee selection in organizations. The project is designed to help students assimilate…

The author discusses valid and reliable ways to assign grades in an academic course in any discipline. "Validity" means the accuracy of a grade's reflection of student learning and achievement. "Reliability" concerns the degree of random error that might be present and affect validity. First the author defines a grade as a…

Intensive research attention has focused on developing students' evaluative judgement within the higher education curriculum, but little has addressed how it can be measured. The contextual nature of evaluative judgement makes it difficult to generate an encompassing instrument, highlighting the need for situated measurement tools. Against this…

Courses: Interpersonal Communication, Relational Communication Objective: This article teaches students to explain and evaluate Knapp's Relational Staircase Model through the creation of personalized greeting cards for each relational stage. The in-class activity encourages students to be creative and succinct in capturing the essence of an…

In this paper, we propose a potential interactional explanation of tertiary-to-secondary (dis)continuity: that of authority relations. Using secondary mathematics teachers' proof validations across two contexts, we suggest that secondary teachers' conceptions of authority shape their capacity to reconcile their positions as former mathematics…

How can we teach inquiry? In this paper, I offer practical techniques for teaching inquiry effectively using activities built from routine textbook exercises with minimal advanced preparation, including rephrasing exercises as questions, creating activities that inspire students to make conjectures, and asking for counterexamples to reasonable,…

This executive summary provides a snapshot of the larger report, "How Students Engage with News: Five Takeaways for Educators, Journalists, and Librarians" (ED591128). The report represents perhaps the largest and most comprehensive research effort exploring how U.S. college-age students are accessing, consuming, and engaging with news…

In this paper, we compare and contrast our experiences in using standards-based grading in different courses and across two separate institutions to explore the related tradeoffs and subtleties in designing and implementing such grading systems, guided by innovation diffusion theory. We summarize our individual courses, use Linda Nilson's criteria…