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…

Understanding students' learning of knowledge components (KCs) is an important educational data mining task and enables many educational applications. However, in the domain of computing education, where program exercises require students to practice many KCs simultaneously, it is a challenge to attribute their errors to specific KCs and,…

Programming is becoming increasingly common in mathematics degrees as it is a desirable skill for new graduates. However, research shows that its use is mostly restricted to computational or modelling tasks. This paper reports a study on students' perceptions of and difficulties with Lean, an interactive theorem prover introduced as part of a…

Prior programming knowledge of students has a major impact on introductory programming courses. Those with prior experience often seem to breeze through the course. Those without prior experience see others breeze through the course and disengage from the material or drop out. The purpose of this study is to demonstrate that novice student…

Programming skills are increasingly important to the current digital economy, yet these skills have long been regarded as challenging to acquire. A central challenge in learning programming skills involves the simultaneous use of multiple component skills. This article investigates why students struggle with integrating component skills--a…

In the era of artificial intelligence (AI), big data (BD), and digital transformation (DT), analytics students should gain the ability to solve business problems by integrating various methods. This teaching brief illustrates how two such methods--Bayesian analysis and Markov chains--can be combined to enhance student learning using the Analytics…

Knowledge tracing (KT) models are a popular approach for predicting students' future performance at practice problems using their prior attempts. Though many innovations have been made in KT, most models including the state-of-the-art Deep KT (DKT) mainly leverage each student's response either as correct or incorrect, ignoring its content. In…

The instrumental approach is a useful theoretical lens for understanding students' learning processes with a main focus on the transformation of an artefact (a human design for a goal-directed activity) into a meaningful instrument (i.e. an artefact and schemes developed by the student). In this paper, we articulate the instrumental approach for…

Recent educational policies advocate a radical revision of science curricula and pedagogy, to support interdisciplinary practices, a distinguishing feature of contemporary science. Computational modeling (CM) is a core methodology of interdisciplinary science, as such models allow intertwining of data and theoretical perspectives from multiple…

Introductory programming courses (CS1) are difficult for novices. Inspired by "Problem solving followed by instruction" and "Productive Failure" approaches, we define an original "necessity-driven" learning design. Students are put in an apparently well-known situation, but this time they miss an essential ingredient…

No-code/low-code app development is transforming traditional information system development paradigms. This teaching tip uses an example of course unit of decision support systems (DSS) to demonstrate that introducing no-code system implementation assignments into a course as a replacement for computer programming language exercises can improve…

This paper elaborates on the notion of object-oriented collaborative learning by building on empirical material from two case studies in higher education. Prior empirical findings show how knowledge objects are evolving entities, shaped by the interactions between participants, and how students learn from engaging in knowledge practice that…

The purpose of this study is to investigate and conceptualize the ranks of importance of social cognitive variables on university students' computer programming performances. Spatial ability, working memory, self-efficacy, gender, prior knowledge and the universities students attend were taken as variables to be analyzed. The study has been…

Recent developments in technology have changed the learner's profile and the learning outcomes. Today, with the emergence of higher-order thinking skills and computer literacy skills, teaching through traditional methods is likely to fail to achieve the learning outcomes. That is why; teachers and teacher candidates are expected to have computer…

Electronic performance support systems (EPSSs) are the software programs commonly used in commercial environments since the early 1990s. These software programs are generally called performance-based systems and focus on the complete job rather than providing individual development. For that reason, the usage of these systems in learning…