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…

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…

This article highlights data collected using the leadership learning framework as learning content for an undergraduate class and a reflective tool for students to self-identify ways leadership learning occurred. In this research study, 32 undergraduate students self-identified what aspects of the leadership framework were the most salient for…

Undergraduate students are expected to produce and comprehend constructive existence proofs; yet, these proofs are notoriously difficult for students. This study investigates students' thinking about these proofs by asking students to validate two arguments for the existence of a mathematical object. The first argument featured a common structural…

Active learning is an engaging way of teaching and even experienced professors may not know how to start implementing its techniques to make classes more dynamic. Teaching cases can be a very useful active method of instruction, as an opportunity to assign students roles in the case discussion, centering them as the protagonists of their own…

The biggest difference in statistical training from previous decades is the increased use of software. However, little research examines how software impacts learning statistics. Assessing the value of software to statistical learning demands appropriate, valid, and reliable measures. The present study expands the arsenal of tools by reporting on…

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…

Distance learning has become a necessity and a common practice, using electronic devices and the Internet to facilitate online classes and exams. One course in undergraduate electrical engineering is the Digital Signal Processing (DSP) course, which requires exposure to theoretical concepts as well as simulations. In this paper, we propose a…

This study aimed to determine the effect of explain-analysis-doing discussion or known as ex-add learning techniques on critical thinking skills and pedagogic competence of Islamic religious education students at State Islamic University (UIN) Sulthan Thaha Saifuddin Jambi and at UIN Raden Fatah Palembang, Indonesia. The approach used quantitative…

The Students' Approaches to Learning (SAL) tradition comprehends an approach to learning as a combination of students' aims for learning and the processes used to achieve them. The tradition values a deep approach to learning; this is the case also in the context of university mathematics, where a deep approach is seen as a requirement for…

Pair programming (PP), as a mode of collaborative problem solving (CPS) in computer programming education, asks two students work in a pair to co-construct knowledge and solve problems. Considering the complex multimodality of pair programming caused by students' discourses, behaviors, and socio-emotions, it is of critical importance to examine…

The authors of this article describe a unique approach to economics education in which contemplative deep listening practices were applied to Bruce Springsteen's music in order to introduce basic economic concepts to incoming university students. The course "Springsteen-omics: Economics through the Songs of Bruce Springsteen" shifted the…

Learning power has become a significant impacting factor on learning quality in digital age. This study is a survey at a university in China, using a questionnaire with seven evaluation indicators integrated into learning dimensions, to assess college students' digital learning power (DLP). The main findings are as follows. College students have…

Introductory biology courses at most colleges and universities have two components: a lecture and a lab. However, for students who are not majoring in biology and taking the introductory course as part of their general education requirements, the distinct role of the lab has not been clearly articulated. We performed an online modified-Delphi…