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…

With the proliferation of easy-to-use generative AI tools such as ChatGPT, students in college composition courses can and do take advantage of such technology to assist with essay writing. While a growing body of research does not see using these tools as a problem in itself, institutional, departmental, and instructor policies about generative…

Background: Artificial intelligence has been reshaping many industries, and education is no exception. When ChatGPT burst onto the scene in late 2022, it ignited conversations among educators and researchers alike. Despite growing interest and experimentation with this technology in university classrooms, the field has been missing a comprehensive…

We discuss our experience in teaching data analytics, and in particular prescriptive analytics, to students in business schools using an inter-coherent case study, where a managerial decision is decomposed into a series of research problems with interlocking analyses and the outcome of one analysis is the input of other analysis. Students who…

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…

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…

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…

Introduction: Recent advancements in generative AI (GAI) platforms appear to mark an abrupt shift in higher education. Statement of the Problem: Instructors have a responsibility to teach students to use GAI, which is a promising tool for promoting personalized, student-centered, process-focused learning environments. Literature Review: Drawing on…

In the rapidly evolving landscape of higher education, the clarity, measurability, and alignment of course objectives are more critical than ever. Effective course design hinges on well-defined learning objectives that guide both instruction and assessment. However, creating these objectives can be a daunting task for faculty, especially when…