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…

Aim/Purpose: The teaching of appropriate problem-solving techniques to novice learners in undergraduate software development education is often poorly defined when compared to the delivery of programming techniques. Given the global need for qualified designers of information technology, the purpose of this research is to produce a foundational…

Git, as the leading version-control system, is frequently employed by software developers, digital product managers, and knowledge workers. Information systems (IS) students aspiring to fill software engineering, management, or research positions would therefore benefit from familiarity with Git. However, teaching Git effectively can be…

Live cell imaging is a standard technique in experimental biology that enables the observation of isolated cells and tissue slices in real time and the testing of cellular responses to changes in buffer composition. However, most live cell imaging devices require the use of dedicated microscopes and/or specialised stage adaptors, and come at a…

System-based learning (SBL) in engineering domains integrates systems thinking and engineering principles to develop a system. In software engineering, to develop software using the DevOps process, using SBL environment, students gain a comprehensive understanding of the DevOps software development process and apply theoretical concepts to…

Jordan canonical form (JCF) is one of the most important, and useful, concepts in linear algebra. Mathematics, physics, biology, science and engineering undergraduates often find the first application of real JCF in the discipline of differential equations (continuous models) to solving systems of differential equations. In this work, we apply…

Generative artificial intelligence (AI) allows for the transformation of written text into artistic images of varying styles. Scholars and researchers are beginning to explore the benefits of this technology to improve reflective practices and critical analyses in education. The extent to which AI-generated images can be used in nursing education…

This article explores the integration of "synthography" in the context of a class in the Degree in Photography, as a strategy to explore artistic and professional practices in the digital transformation era, problematizing the pedagogical implications of using artificial intelligence (AI) in creative disciplines. The study revolves…

Calculating analytical uncertainties as a part of method validation is a relevant aspect of field and laboratory practices in instrumental analytical chemistry subjects, which usually require complex algorithms. This work describes the development and didactic use of an automatic and straightforward informatics tool, implemented in an Excel macro,…

Landscape garden design is an important design foundation course for undergraduate students of landscape architecture in China, but the current classroom teaching has the problem of limited spatial dimension of the course. This paper proposes a virtual scene model construction method through the computer software with the creation of the need to…

Traditional nursing and health education design courses usually only transfer knowledge via lectures, and lack interaction, drills and personalized feedback. However, the development and widespread adoption of generative artificial intelligence via the ChatGPT system presents an opportunity to address these issues. Some CIDI model-based ChatGPT…

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 large language models (LLMs) hold significant promise for improving physics education research that uses machine learning. In this study, we compare the application of various models for conducting a large-scale analysis of written text grounded in a physics education research classification problem: identifying skills in…

Computer programming and municipal engineering (ME) students' specialised knowledge are still poorly integrated, leading to limited improvement of students' programming abilities. This paper describes an effective attempt in ME at Xi'an University of Architecture and Technology (XAUAT). Students were divided into several teams and required to…

Generative AI has become a quotidian discussion topic in many writing departments, and the conversations often focus on the negative aspects or the disruptions it has caused. A growing number of teachers and scholars, though, have embraced the new technology and welcomed it into their classrooms. In the Spring 2024 semester, students in my…