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…

Although digital accessibility topics are increasingly gaining inclusion in university computing classrooms, many instructors still encounter difficulties in engaging students with this subject. The Universal Design for Learning (UDL) framework, a pedagogical approach that emphasizes multiple means of engagement, offers a promising strategy to…

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…

Artificial Intelligence (AI) technology is reshaping the ways humans study and work across various disciplines. In the field of music, AI technology shows its possibility to empower individuals at diverse levels of musical knowledge in music creation, from novices to experts. In this article, I explore philosophical questions within both AI…

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…

Recent advancements in Artificial Intelligence (AI), particularly AI chatbots like ChatGPT, have sparked significant discussions in higher education regarding their impact on teaching and academic integrity. This study examines the integration of ChatGPT into a philosophy of education course for first-year Education students at a Swedish…

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…