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…

As the debate and discussions are rapidly growing about the implementation of Artificial Intelligence (AI) in higher education institutions (HEIs) as well as in other sectors, we have gone through a systematic review and research of the topics and progress of AI at the present time. We have surveyed much literature and prepared a research review…

Visual inspection of single-subject data is the primary method for behavior analysts to interpret the effect of an independent variable on a dependent variable; however, there is no consensus on the most suitable method for teaching graph construction for single-subject designs. We systematically replicated and extended Tyner and Fienup (2015)…

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…

The European Higher Education Area (EHEA) proposes to enhance active learning and student protagonism in order to improve academic performance. In this sense, different methodologies are emerging to create scenarios for self-regulation of their learning. In this study the cooperative, collaborative and interdisciplinary learning methodologies were…

Within digital drawing courses, students are immersed in the utilization of software tools and technological advancements to craft a diverse array of artwork, illustrations, graphics, and animations, adhering to both industry standards and artistic principles. However, tailoring the complexity of digital drawing assignments to accommodate students…

Artificial intelligence technology has become widely used in many industries, including healthcare, agriculture, banking, social security, and home furnishings, due to the rise and development of this discipline. One of the newest areas of technology in the education industry is AI in Education, where extensive research supports instructional…

This article explores the diverse epistemic perspectives on intelligence, tracing its conceptual evolution across early Indian philosophy, Western philosophical thought and contemporary computational theories. Intelligence is examined as a dynamic, multifaceted phenomenon that transcends mere cognition, extending into embodied, ecological and…

Objectives: Code style is an important aspect of text-based programming because programs written with good style are considered easier to understand and change and so improve the maintainability of the delivered software product. However teaching code style is complicated by the existence of many style guides and standards that contain…

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…

As technology advances, virtual museums have gained popularity as a new form of learning resources. However, persuading audiences to absorb and comprehend a tremendous volume of information in an unregulated online environment is the challenge. Considering the use of an online application in educational practice, collaborative teamwork can be…

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…

This paper is a review of student perceptions and usage of ChatGPT and other Artificial Intelligence (AI) tools. Technology has made significant changes in education, and in the last 30 years, none may be as impactful as what we refer to as ChatGPT as this was the first tool to make inroads into a chat-based artificial intelligence available to…

Purpose: Students completing their tertiary education at a university may be equipped with theoretical knowledge with little to no practical experience. In order to bridge this gap in practical skills, a computer simulation was developed based on the e-filing platform of the South African Revenue Services (SARS). Students were exposed to this…