Background and Context: Data science and statistics are used across a broad spectrum of professions, experience levels and programming languages. The popular scientific computing languages, such as Matlab, Python and R, were organized without using empirical methods to show evidence for or against their design choices, resulting in them feeling…

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…

The author describes an assignment in an undergraduate game theory course in which students work together in class to develop a computer algorithm to identify Nash equilibria. This assignment builds basic computer science skills while applying game theory knowledge to real-world situations. Students work as a team to delineate the steps and write…

Real-time collaborative programming (RCP), which allows multiple programmers to work concurrently on the same codebase with changes instantly visible to all participants, has garnered considerable popularity in higher education. Despite this trend, little work has rigorously examined how undergraduates engage in collaborative programming when…

Despite the increasing use of the statistical programming language R in statistics and data analysis (SDA), its implementation in communication science education is limited. Experiences, recommendations, and a critical exchange are therefore scarce. The following contribution addresses this very gap. At the Department of Journalism and…

Biochemistry is a data-heavy discipline, yet teaching students to work with large datasets is absent from many undergraduate Biochemistry programs. Ensuring that future generations of students are confident in tackling problems using big data first requires that educators become comfortable teaching big data skills. The activity described herein…

Computational thinking (CT), an essential competency for comprehending and addressing intricate issues in the digital world, has been incorporated into curriculum planning as a goal for programming education. This study introduced flow design into programming curricula to investigate its impact on undergraduates 'CT skills during pair work. Two…

Background: Conventional reflective learning methodologies in programming education often lack structured guidance and individualised feedback, limiting their pedagogical effectiveness. Whilst computational thinking (CT) offers a systematic problem-solving framework with decomposition, pattern recognition, abstraction, and algorithm design, its…

This article presents a multi-stage guided technical project coding Python scripts for utilizing Amazon Web Services (AWS) to work with a document-store database called DynamoDB. Students doing this project should have taken an introductory programming class (ideally in Python) and a database class to have experience with Python coding and…

An essential skill for STEM undergraduates is the ability to understand the world by manipulating, visualizing, and analyzing data to make or evaluate claims. Current online debate, without peer-reviewed literature, explores which of two common R syntax environments (base R or tidyverse) is best for teaching novice R users. In an in-person…

This study explores the application of the Project-Based Learning with Gamification Model (PBLGM) through Visual Programming Language (VPL) to enhance digital competencies and problem-solving skills in learners. The PBLGM model integrates project-based learning and gamification techniques using Kodu Game Lab, aiming to develop essential…

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,…

SQL compiler error messages are the primary way users receive feedback when they encounter syntax errors or other issues in their SQL queries. Effective error messages can enhance the user experience by providing clear, informative, and actionable feedback. Despite the age of SQL compilers, it still remains largely unclear what contributes to an…

Background and context: There were few studies indicating if students' computational thinking (CT) self-efficacy and their CT performance were aligned with each other. Objectives: The study was to investigate if there was a discrepancy between students' CT self-efficacy and their CT performance. Method: Involving 104 non-CS undergraduate students…

Educational games have gained widespread interest among teachers and researchers across various fields due to their capacity to engage students, foster active participation, and improve learning outcomes. In the context of computer programming, which demands significant cognitive effort, the use of educational games has grown substantially. While…