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…

Computational thinking (CT) is becoming increasingly important as a learning content. Subject-integrated approaches aim to develop CT within other subjects like mathematics. The question is how exactly CT can be integrated and learned in mathematics classrooms. In a case study involving 12 sixth-grade learners, CT activities were explored that…

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…

As computer-science-for-all initiatives continue to grow, many schools are looking for ways to introduce computer science skills and thinking to elementary-age children. Some initiatives have focused on coding as its own endeavor, not integrated with other subjects like mathematics, science, or literacy. Increasingly, developers and researchers…

This article explores the features of students' reasoning and sense-making when computer programming and mathematics interact, specifically, using the exterior angle concept to make different regular polygons with Scratch as a programming tool. At the end of the 2019 spring term in a public elementary school, data were obtained from a pretest, a…

Aim/Purpose: This study seeks to present a learning model of discrete mathematics elements, elucidate the content of teaching, and validate the effectiveness of this learning in a digital education context. Background: Teaching discrete mathematics in the realm of digital education poses challenges, particularly in crafting the optimal model,…

There has been a renewed interest in creativity as a twenty-first century skill in K-12 mathematics education. However, previous research has paid less attention to creative actions than to other learning outcomes, which are often product- instead of process-based, especially in a programming context. Thus, situated in the context of mathematical…

Undergraduate mathematics education research focused on Introduction to Proofs courses has gained traction as more students are experiencing challenges in their proof-based courses. While studies have analyzed the teaching and learning of proofs, there is a growing need for research in students' understanding of mathematical logic and set theory…

Using robot programming activities for learning in the classroom is one way to drive interest and engagement in the STEM field among students, especially girls. And this is afield that is particularly characterized by an underrepresentation of women. Accordingly, many countries are increasingly integrating activities related to computer science…

We characterize the recently included programming content in Swedish mathematics textbooks for elementary school. Especially, the connection between programming content and traditional mathematical content has been considered. The analytical tools used are based on the so-called 5E's, a theoretical framework of action, developed within the…

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…

Due to increased need of professionals on the future labour market with competence in programming, many countries have integrated programming in kindergarten to grade 12 (K-12) education. In 2017, programming was integrated in Swedish primary and secondary school curriculum and the courses of Mathematics and Technology. Research has highlighted…

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…

In this paper, I discuss undergraduate students' engagement in basic Python programming while solving combinatorial problems. Students solved tasks that were designed to involve programming, and they were encouraged to engage in activities of prediction and reflection. I provide data from two paired teaching experiments, and I outline how the task…

By integrating computational thinking (CT) based mathematical reasoning with early childhood education through programming a dinosaur game in Scratch, this study aims to enhance the pedagogical skills of pre-service teachers by using learning objects (LOs). Also, explores frameworks for LOs construction to align with pedagogical goals, emphasizing…