A Prolog program consists of a set of facts and rules rather than imperative statements, commonly used in most other programming languages. Therefore, the Prolog language is used to encode logic, from which the inference engine deduces logical conclusions. In this article, we argue that the use of the Prolog language can be useful to help students…

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…

The importance of computational thinking (CT) as a 21st-century skill for future generations has been a key consideration in the reforms of many national and regional educational systems. Much attention has been paid to integrating CT into the traditional subject classrooms. This paper describes a scoping review of learning tools for integrating…

Python programming is widely employed in educational institutions worldwide. Within the "Merdeka Belajar" curriculum context, this programming is recognized as a suitable vehicle for mathematics instruction, significantly influencing students' motivation and learning outcomes, particularly following periods of educational hiatus. This…

The focus on Computer Science Education at the K-12 level has been increasingly highlighted due to today's need for a populace with computational thinking skills, in addition to the expansion of careers related to computing and computer science. Programming helps facilitate students' examination of the nature of a problem and helps students to…

The current quantitative study, a naturalistic field experiment, was conducted in a public primary school in Soweto, Johannesburg, with the objective to examine how children's achievement on four assessments at the beginning of Grade R, namely their numeracy, their mathematics-specific vocabulary, their executive functions, and their logical…

The potential benefits from the introduction of programming environments such as "Scratch" for learning mathematics has reactivated research in this area. Nonetheless, there are few studies which attempt to analyse their influence at the stage of Primary Education. We present the results of a quasi-experimental piece of research with…

This paper analyzed Scratch projects developed by undergraduate students. The sample consisted of 22 child development students (18 women and four men) in the 2018-2019 academic year. The study adopted an action research design within the scope of a course titled "Teaching Science and Mathematics in Preschool Education." The research was…

Early exposure to data science skills, such as relational databases, is essential for students in statistics as well as many other disciplines in an increasingly data driven society. The goal of the presented pedagogy is to introduce undergraduate students to fundamental database concepts and to illuminate the connection between these database…

Students' struggles with algebra are well documented. Prior to the introduction of functions, mathematics is typically focused on applying a set of arithmetic operations to compute an answer. The introduction of functions, however, marks the point at which mathematics begins to focus on building up abstractions as a way to solve complex problems.…

In this paper, we describe the design and implementation of computer programming activities aimed at introducing young students (9-13 years old) to the idea of infinity, and in particular, to the cardinality of infinite sets. This research was part of the "WebLabs" project where students from several European countries explored topics in…

Functions are all around us, disguised as actions on concrete objects. Composition of functions, too, is all around us, because these actions can be performed in succession, the output of one serving as the input for the next. In terms of Gray and Tall's (2001) "embodied objects" or Lakoff and Nunez's (2000) "mathematical idea…

Readers will find several papers that address high-level issues in the use of technology in education, for example architecture and design frameworks for building online education materials or tools. Several other chapters report novel approaches to intelligent tutors or adaptive systems in educational settings. A number of chapters consider many…