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…

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…

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…

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…

The technology-supported education systems seamlessly integrated throughout the globe in response to the demands of post COVID-19 pandemic. The swift developments of the digital tools with Artificial Intelligence (AI) support are also readily diffused among the educational communities. This research paper investigates the synergistic impact of…

Gamification is a pedagogical strategy that uses the principles and mechanics of game play to facilitate student learning. Despite increased adoption over the last decade, the question of how effective gamification is as a pedagogical strategy remains controversial. Here we report on the impact of a custom developed mobile app that incorporates…

Digital Study Assistants (DSA) are an emerging type of software that combines web-based software architectures, various data sources, and algorithms from artificial intelligence (AI) to assist learners in improving their learning-related behaviors. In this paper, we summarize the implementation and results of a field study with a DSA for…

The use of artificial intelligence tools is currently increasingly common, causing changes in teaching-learning processes, generating debates in the educational sector about its utility. Proving to have benefits and advantages, however, there are still gaps in how artificial intelligence tools should be used in education. This research aims to…

This research paper explores the integration of ChatGPT as a tool for interactive learning of numerical methods in a differential equations (DEs) course. DE course is crucial for engineering students to model real-world phenomena. However, many DE courses focus only on analytical solutions and neglect important numerical solutions. To overcome…