In this paper we develop a case for introducing a new teaching tool to undergraduate mathematics. Lean is an interactive theorem prover that instantly checks the correctness of every step and provides immediate feedback. Teaching with Lean might present a challenge, in that students must write their proofs in a formal way using a specific syntax.…

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…

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…

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…

Computer science is a fast-growing field in today's digitized age, and working in this industry often requires creativity and innovative thought. An issue within computer science education, however, is that large introductory programming courses often involve little opportunity for creative thinking within coursework. The undergraduate…

Pair programming (PP), as a mode of collaborative problem solving (CPS) in computer programming education, asks two students work in a pair to co-construct knowledge and solve problems. Considering the complex multimodality of pair programming caused by students' discourses, behaviors, and socio-emotions, it is of critical importance to examine…

Background: Being easy to learn and fun, block-based programming tools are widely used to teach students introductory programming. Scratch and LEGO robots are two popular block-based programming tools. However, the objects they manipulate are completely different. Scratch manipulates graphical virtual sprites, whereas LEGO robots manipulate…

Resilience is a critical personality trait that allows one to deal with difficulties, learn from failures, and maintain a positive attitude during task performance. However, it has not been understudied in a complex and challenging educational domain. The current research intends to address this gap by analyzing the specific characteristics of…

Contribution: In this article, the authors present findings and insights on the efficacy of using an educational block-based programming (BBP) environment--Blocks4DS, to teach the binary search tree (BST). Background: For a decade, BBP environments have been a hot topic in the computer science education (CSEd) community to promote interactive…

This study investigates pre-service computer science (CS) teachers' perspectives on the factors affecting their programming abilities, concerns about their future professional lives, and pedagogical suggestions for effective programming teaching. The participants of the study were twenty-eight pre-service CS teachers studying at eighteen different…

Many introductory computer science (CS) courses are intended to address the increased demand for computer literacy and the development of cross-cutting concepts and practices of computational thinking (CT). Colleges and universities offer introductory CS courses every semester toward this end. The issue is centered on how to support CT learning in…

Artificial intelligence (AI) in programming teaching is something that still has to be explored, since in this area assessment tools that allow grading the students work are the most common ones, but there are not many tools aimed toward providing feedback to the students in the process of creating their program. In this work a small sized…

Teaching software engineering (SWE) as a core computer science course (ACM, 2013) is a challenging task. The challenge lies in the emphasis on what a large-scale software means, implementing teamwork, and teaching abstraction in software design while simultaneously engaging students into reasonable coding tasks. The abstraction of the system…

Especially in large courses, feedback is often given only on the final results; less attention is paid to the programming process. Today, however, some programming environments, e.g., Thonny, log activities during programming and have the functionality of replaying the programming process. This information can be used to provide feedback, and this…

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…