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…

Science, technology, engineering, and mathematics (STEM) students are typically taught content delivered didactically and closely aligned with the laboratory demonstration of concepts, which facilitates the development of experimental skills. Because of the volume of content delivered across multiple courses, student cognitive abilities can be…

This research examines the application of students' computational thinking (CT) in solving numerical method problems through computer software. Data collection involved observing their learning process and conducting tests to evaluate their CT skills within the context of the root approach material using Newton-Raphson method. The results indicate…

Contribution: This study uses a qualitative research method to analyze interviews where participants simplified an electric circuit while explaining their thought process. Background: Rearranging circuit diagrams is a fundamental skill in electrical and electronic engineering, yet students can struggle with unfamiliar configurations. Current…

Due to the frequent utilization of technological applications in contemporary times, the quality of educational processes is rapidly evolving. This study examines students' experiences through simulation software applications. A mixed-method design is employed due to the combined use of qualitative and quantitative data collection methods.…

This work is the result of a pre-experiment carried out as part of a master's course, dealing with the study of the parabola through different mathematical views. It aims to recognize possible didactic obstacles in its teaching, based on intuitive manifestations in the resolution of a didactic situation based on GeoGebra software. The methodology…

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…

Using information technology tools for academic help-seeking among college students has become a popular trend. In the evolutionary process between Generative Artificial Intelligence (GenAI) and traditional search engines, when students face academic challenges, do they tend to prefer ChatGPT, or are they more inclined to utilize Google? And what…

The article provides an answer to the question: 'How can ChatGPT be used as an educational technology for learning?' by identifying its educational benefits and downsides for teaching and learning as seen from the educators' perspective. To answer this question a mixed methods case study was carried out in the context of two workshops involving a…

ChatGPT has surprised academia with its remarkable abilities but also raised substantial concerns regarding academic integrity and misconduct. Despite the debate, empirical research exploring the issue is limited. The purpose of this study is to bridge this gap by analyzing Twitter data to understand how academia is perceiving ChatGPT. A total of…

ChatGPT has emerged as a significant subject of research and exploration, casting a critical spotlight on teaching and learning practices in the higher education domain. This study examines the most influential articles, leading journals, and productive countries concerning citations and publications related to ChatGPT in higher education, while…

Contributions: An adoption framework to include generative artificial intelligence (GenAI) in the university curriculum. It identifies and highlights the role of different stakeholders (university management, students, staff, etc.) during the adoption process. It also proposes an objective approach based upon an evaluation matrix to assess the…

Skull anatomy is a difficult region for anatomy students to learn and understand but is necessary for a variety of health professional students. To improve learning, a 3D-printed human skull was developed, produced, and distributed to a course of 83 dental students for use as a take-home study tool over the 10-week anatomy course. The 70% scale…

To better understand the use of ChatGPT as a tool for learning in higher education, this investigation reports student responses to an e-questionnaire investigating their perspectives on it. In particular, it delves into whether there are any significant differences between opinions based on gender and the level of study of 51 postgraduate…

Educational process mining aims (EPM) to help teachers understand the overall learning process of their students. Although deep learning models have shown promising results in many domains, the event log dataset in many online courses may not be large enough for deep learning models to approximate the probability distribution of students' learning…