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…

The Reading and Appreciating Mathematical Proofs (RAMP) project seeks to provide novel resources for teaching undergraduate introduction to proof courses centered around reading activities. These reading activities include (1) reading rich proofs to learn new mathematics through proofs as well as to learn how to read proofs for understanding and…

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…

The purpose of this study was to identify how integrating learning theories into the design of a formal university course helps facilitate students' resources, goals, and orientations (Schoenfeld, 2011) of learning theories for their future career work in coaching, sport psychology consulting, or other sport-related professions. Sixteen students…

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…

Research on creative dance education has indicated that students can take risks and improvise when the teacher relinquishes control through an open and explorative approach. I add to the discussion by exploring the unexpected and spontaneous episodes when teaching dance improvisation in settings outside dance education. Based on empirical material…

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…

Artificial intelligence (AI) is becoming ever better and more powerful, which is why it can be found in many areas of everyday life. AIs like ChatGPT have also found their way into universities and more and more students are trusting them. Previous studies found opportunities of ChatGPT in academic education such as personalized and interactive…

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…