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…

Concurrency is a complex to learn topic that is becoming more and more relevant, such that many undergraduate Computer Science curricula are introducing it in introductory programming courses. This paper investigates the combined use of Sonic Pi and Team-Based Learning to mitigate the difficulties in early exposure to concurrency. Sonic Pi, a…

Block-based programming languages (BBLs) have been proposed as a way to prepare students for learning to program in more sophisticated, text-based languages, such as Java. Hybrid BBLs add the ability to view and edit the block commands in auto-generated, text-based code. We compared the use of a non-hybrid BBL (Scratch), a hybrid BBL (Pencil…

Background and Context: Multiple studies report that experienced instructors lack consensus on the difficulty of programming tasks for novices. However, adequately gauging task difficulty is needed for alignment: to select and structure tasks in order to assess what students can and cannot do. Objective: The aim of this study was to examine…

A national curriculum for the study of computing became compulsory in English secondary schools in September 2014, replacing the study of information and communications technology with computer science (CS). This posed difficulties for teachers and students who did not have knowledge or experience of programming. This study was designed to…

Online courses on different platforms provide thousands of students with the knowledge and skills they need. This paper presents the results of a survey of students, during which they expressed their opinion on the use of electronic resources in teaching. The survey showed that students are more motivated to study when they understand how their…

In recent years, flipped classroom has become a popular teaching method. Compared with the traditional teaching method, the flipped classroom gives learners and teachers more opportunities to discuss. However, the flipped classroom has also encountered some difficulties. If we do not consider the different learning conditions of each learner when…

Flipped classroom is one of the important teaching modes among many novel teaching methods in recent years, students watch the video in the pre-class. However, if students cannot focus on the pre-class video learning or have problems with the learning content, the learning effect will be less than expected. Therefore, this research proposes a…

Computational thinking (CT) has gained considerable attention and in-depth discussion over the last two decades. Although the significance of CT has been highlighted, it could be challenging for educators to teach CT. Fortunately, adopting robots in education has been evidenced to be of benefit to promoting students' learning motivation, CT, and…

Purpose: The purpose of this study is to develop an intelligent tutoring system (ITS) for programming learning based on information tutoring feedback (ITF) to provide real-time guidance and feedback to self-directed learners during programming problem-solving and to improve learners' computational thinking. Design/methodology/approach: By…

This study examined the effects of virtual and physical robots (VPR) using in different learning stages (simple session/complex session) in a robotics programming course. A quasi-experimental design was implemented with 84 junior high school students from two classes. One class with 44 students used combination of VPR strategy for learning,…

This paper describes a pilot study that explores students learning how to program via a multi-disciplinary approach. The study participants were eleven 6th grade students who learned programming fundamentals via music activities in a Scratch 3.0 environment. These activities included the programming of familiar melodies and the development of…

The recent push to introduce coding in early childhood education has been the subject of heated debate. A lack of theoretical and empirical research devoted to understanding coding education acceptance provided the motivation for this article. As a way to engage in the debate, this article investigated kindergarten teachers' acceptance of coding…

Software is an integral part of our lives. It controls the cars we drive every day, the ships we send into space, and even our toasters. It is everywhere and we can easily download more. Software solves many real-world problems and satisfies many needs. Thus, unsurprisingly, there is a rising demand for software engineers to maintain existing…

Background and Context: Recursion in binary trees has proven to be a hard topic. There was not much research on enhancing student understanding of this topic. Objective: We present a tutorial to enhance learning through practice of recursive operations in binary trees, as it is typically taught post-CS2. Method: We identified the misconceptions…