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…

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…

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…

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…

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…

Background: With the arrival of generative artificial intelligence (genAI) tools, psychology educators are rethinking their assessment practices. Objective: This paper describes one approach to integrating genAI into an assessment designed to promote psychological literacy. Method: Students used ChatGPT to generate a media release about a…

AI advancements in higher education have reshaped marketing education, posing challenges for educators in integrating AI into curricula. This integration is essential for aligning with industry advancements and fostering responsible AI utilization among students. The purpose of this study is to provide insights into how marketing educators can…

Background: Psychology instructors frequently assign writing-to-learn exercises that include personal reflection. Generative Artificial Intelligence (GenAI) can write text that passes for humans in other domains. Objective: Do students and faculty rate a reflection written by GenAI differently than reflections written by students? Do students and…

This study aimed to explore the perspectives of Indonesian nursing students on the utilization of ChatGPT in their learning process. A qualitative descriptive design was conducted among 19 second-year nursing students (age 18-20) who were purposively selected. Data were collected in February 2023 through online (Zoom meetings) and offline…

Learners in the 21st century need technological support in the learning process because of the advancements made in technology for teaching and learning. A GeoGebra-oriented classroom uses one of these technologies that can be implemented in the classroom. The new developed cycle model implemented in the study and explored the effect of using…

This paper examines university students' perceptions of and experiences with using ChatGPT, a generative artificial intelligence (GenAI) tool, to enhance their experiential learning. In this exploratory study, we designed a ChatGPT learning activity flow corresponding to the four experiential learning steps. Analysis of survey data collected from…

In recent years, Social Networking Sites (SNSs) have witnessed a substantial surge in global user adoption. Apart from their primary intended functionalities, these platforms have been increasingly utilized for language learning purposes. However, the extent to which they cater to the needs of language learners remains a longstanding question. The…

Teaching robotics courses online is challenging due to the complexity of the interdisciplinary topics involved. One of the most challenging topics is 3D coordinate transformations. Students often struggle to grasp the concept of 3D coordinate transformations and their relevance to real-world robotic applications. This paper applies the Scholarship…

The application of artificial intelligence technologies, such as ChatGPT-4, offers a substantial chance to improve the learning process. The promising prospect of utilizing artificial intelligence and ChatGPT-4 to enhance educational interactions by offering tailored and engaging experiences is highly enticing. The promise of ChatGPT-4 resides in…

Nowadays, TikTok is one of the most popular online applications. TikTok has recently been a helpful tool in facilitating teaching speaking skills. More researchers are exploring the teaching application of TikTok in speaking classes. This study is designed as mixed-method research that explores VLU second-year English-major students' perceptions…