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…

Blended learning, integrating online and in-person components, has been increasingly adopted in higher education to enhance students' learning experience and outcomes. While the advantages of blended learning are well-evidenced, research has primarily focused on the online pre-learning component, neglecting the significance of in-class activities.…

This article engages posthuman theory to propose a rethinking of the theory and practice of relational pedagogies within higher education (HE). There has been renewed emphasis within HE discourses on the significance of relationships within learning and teaching as a means to offer a counter-view to an uncaring marketised HE system. This article…

The present research explores AI's impact on education among Mexican undergraduate students through a non-experimental, correlational, cross-sectional study. A validated public questionnaire was distributed to 840 students via Google Forms from February to May 2024. Analysis revealed significant AI exposure and use patterns, primarily influenced…

Classroom academic presentation (CAP) has been perceived as an important academic genre integral to college learners' academic success. However, the schematic structure of CAP and learners' acquisition of it remain unclear. In this study, we identified its schematic structure with the method of metagenres and investigated L2 learners' generic…

Massive open online courses (MOOCs) are online educational courses that provide learning opportunities without geographical, temporal, or enrollment limitations. However, the adoption of MOOCs in Omani higher education is still in its early stages. Therefore, this study aims to assess how attitudes, self-efficacy, experience with online teaching,…

Since its conception as a distinctive form of scholarship, the Scholarship of Teaching and Learning (SoTL) has evolved into a legitimized field. Despite its rapid evolution, there still exists confusion surrounding its definition and distinctions from scholarly teaching. Additionally, although it is widely recognized across many disciplines, there…

For many professors, testing is primarily a tool for assessing the learning of students. However, research into the "testing effect" has established the value of testing also as a learning tool, not just as an assessment tool. This article provides an overview of this research and also of my own experiences in using a variety of testing…

In this chapter, the authors describe the theory of change behind a regional cross-institutional community of practice (CoP) for educational developers seeking to strengthen their institution's SoTL culture and increase faculty SoTL production by providing institution-level support initiatives and programming.

In recent years, the Vietnamese Government has endeavoured to modernise its higher education sector. While there have been polarised claims made over teaching and learning approaches in Vietnamese higher education (VHE), exploring the students' and teachers' perceptions, in a bottom-up approach, is important. Using a mixed method approach, this…

To further teaching and learning, there has been a push to engage faculty to pursue research on teaching. With the recognition that science research often is done by teams, we sought to create a research-cluster approach to support faculty engaging in the Scholarship of Teaching and Learning (SoTL). This article describes a faculty-focused process…

Concerns about the disconnect between what goes on in teacher preparation programs and school classrooms have led to a greater emphasis on opportunities for preservice teachers to engage in the practice of teaching during their teacher education programs. Pedagogies of enactment have been shown to provide opportunities for preservice teachers to…

Blended learning has enjoyed wide acceptance as a teaching and learning approach in higher education, but its use and understanding commonly fail to extend across all levels of blending. At the institutional level, challenges still exist in aligning a blended learning approach with core university priorities. Often, there is a focus on the…

Purpose: The purpose of this systematic literature review is to identify the antecedents that have enabled the adoption of artificial intelligence (AI) in Higher Education (HE) institutions at both a macro and micro level. The term adoption is in reference to the diffusion of technology that is actively chosen for use by the targeted demographic.…

This systematic literature review provides an overview of existing empirical research on embodied teaching and learning in higher education. The review is based on a literature search in eleven databases resulting in 247 articles being included. These articles span a wide range of disciplines in higher education, with 66 articles situated in…