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…

The rapid integration of generative artificial intelligence (AI) into postsecondary education and many other sectors resulted in a global reckoning with this new technology. This paper contributes to the study of the multifaceted influence of generative AI, with a particular focus on OpenAI's ChatGPT within academic settings during the first six…

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.…

Background/purpose: This research is motivated by the difficulties often experienced by students in adapting to their first year of college, especially related to learning calculus. To address these difficulties, a solution needs to be found so that these problems can be resolved. One solution that is expected to yield optimal results in…

Nowadays, SPOCs (Small Private Online Courses) have been used as complementary methods to support classroom teaching. SPOCs are courses that apply the usage of MOOCs (Massive Open Online Courses), combining classroom with online education, making them an exciting alternative for contexts such as emergency remote teaching. Although SPOCs have been…

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…