Capacities for abstract thinking and problem-solving are central to human cognition. Processes of abstraction allow the transfer of experiences and knowledge between contexts helping us make informed decisions in new or changing contexts. While we are often inclined to relate such reasoning capacities to individual minds and brains, they may in…

Mathematical reasoning, a fundamental aspect of human cognition, poses significant challenges for artificial intelligence (AI) systems. Despite recent advancements in natural language processing (NLP) and large language models (LLMs), AI's ability to replicate human-like reasoning, generalization, and efficiency remains an ongoing research…

In order to teach Computational Thinking (CT) skills to young students, Block-Based Programming Environments (BBPEs) are integrated into secondary school computer science (CS) education curricula. As a CT skill, abstraction is one of the prominent skills, which is difficult to enhance and measure. Researchers developed some scales for measuring…

This paper presents data from the first of three iterations of teaching experiments conducted with secondary teachers. The purpose of the experiments was to investigate how teachers' combinatorial reasoning could support their development of algebraic structure, specifically structural relationships between the roots and coefficients of…

The purpose of this study is to examine how pre-service elementary teachers generalize a non-linear figural pattern task and justify their generalizations. More specifically, this study focuses on strategies and reasoning types employed by pre-service elementary teachers throughout generalization and justification processes. Data were collected…

Computer science students often evaluate the behavior of the code they write by running it on specific inputs and studying the outputs, and then apply their comprehension to a more general understanding of the code. While this is a good starting point in the student's career, successful graduates must be able to reason analytically about the code…

Cognitive processes are procedures for using existing knowledge to combine it with new knowledge and make decisions based on that knowledge. This study aims to identify the cognitive structure of students during information processing based on the level of algebraic reasoning ability. This type of research is qualitative with exploratory methods.…

The generalisation of linguistic constructions is performed through analogical reasoning. Children with developmental language disorders (DLD) are impaired in analogical reasoning and in generalisation. However, these processes are improved by an input involving variability and similarity. Here we investigated the performance of children with or…

When we "think like a computer scientist," we are able to systematically solve problems in different fields, create software applications that support various needs, and design artefacts that model complex systems. Abstraction is a soft skill embedded in all those endeavours, being a main cornerstone of computational thinking. Our…

This is an article about abstraction, generalization, and the beauty of mathematics. We claim that abstraction and generalization in of itself may very well be a beauty of the human mind. The fact that we humans continue to explore and expand mathematics is truly beautiful and remarkable. Many years ago, our ancestors understood that seven stones,…

Understanding fraction as a quantity has been identified as a key developmental understanding. In this study, students in Grades 5, 8, and 11 were asked to compare the areas of two halves of the same square--a rectangle and a right triangle. Findings from this study suggest that students who understand fraction as a quantity use reasoning related…

During language acquisition children generalise at multiple layers of granularity. Ambridge argues that abstraction-based accounts suffer from lumping (over-general abstractions) or splitting (over-precise abstractions). Ambridge argues that the only way to overcome this conundrum is in a purely exemplar/analogy-based system in which…

An important goal in school algebra is to help students notice the covariational nature of functional relationships, how the values of variables change in relation to each other. This study explored 102 Year 7 (12 to 13-year-old) students' covariational reasoning with their constructed graphs for figural growing patterns they had generalised. A…

Although abstraction is widely understood to be one of the primary components of computational thinking, the roots of abstraction may be traced back to different fields. Hence, the meaning of abstraction in the context of computational thinking is often confounded, as researchers interpret abstraction through diverse lenses. To disentangle these…

Isomorphism and homomorphism appear throughout abstract algebra, yet how algebraists characterize these concepts, especially homomorphism, remains understudied. Based on interviews with nine research-active mathematicians, we highlight new sameness-based conceptual metaphors and three new clusters of metaphors: sameness/formal definition, changing…