A new diagnostic modeling system for automatically synthesizing a deep‐structure model of a student's misconceptions or bugs in his basic mathematical skills provides a mechanism for explaining why a student is making a mistake as opposed to simply identifying the mistake. This report is divided into four sections: The first provides examples of the problems that must be handled by a diagnostic model. It then introduces procedural networks as a general framework for representing the knowledge underlying a skill. (...) The challenge in designing this representation is to find one that facilitates the discovery of misconceptions or bugs existing in a particular student's encoding of this knowledge. The second section discusses some of the pedagogical issues that have emerged from the use of diagnostic models within an instructional system. This discussion is framed in the context of a computer‐based tutoring/gaming system developed to teach students and student teachers how to diagnose bugs strategically as well as how to provide a better understanding of the underlying structure of arithmetic skills. The third section describes our uses of an executable network as a tool for automatically diagnosing student behavior, for automatically generating “diagnostic” tests, and for judging the diagnostic quality of a given exam. Included in this section is a discussion of the success of this system in diagnosing 1300 school students from a data base of 20.000 test items. The last section discusses future research directions. (shrink)

An increasing number of learning goals refer to the acquisition of cognitive skills that can be described as ‘resource-based,’ as they require the availability, coordination, and integration of multiple underlying resources such as skills and knowledge facets. However, research on the support of cognitive skills rarely takes this resource-based nature explicitly into account. This is mirrored in prior research on mathematical argumentation and proof skills: Although repeatedly highlighted as resource-based, for example relying on mathematical (...) topic knowledge, methodological knowledge, mathematical strategic knowledge, and problem-solving skills, little evidence exists on how to support mathematical argumentation and proof skills based on its resources. To address this gap, a quasi-experimental intervention study with undergraduate mathematics students examined the effectiveness of different approaches to support both mathematical argumentation and proof skills and four of its resources. Based on the part-/whole-task debate from instructional design, two approaches were implemented during students’ work on proof construction tasks: (i) asequential approachfocusing and supporting each resource of mathematical argumentation and proof skills sequentially after each other and (ii) aconcurrent approachfocusing and supporting multiple resources concurrently. Empirical analyses show pronounced effects of both approaches regarding the resources underlying mathematical argumentation and proof skills. However, the effects of both approaches are mostly comparable, and only mathematical strategic knowledge benefits significantly more from the concurrent approach. Regarding mathematical argumentation and proof skills, short-term effects of both approaches are at best mixed and show differing effects based on prior attainment, possibly indicating an expertise reversal effect of the relatively short intervention. Data suggests that students with low prior attainment benefited most from the intervention, specifically from the concurrent approach. A supplementary qualitative analysis showcases how supporting multiple resources concurrently alongside mathematical argumentation and proof skills can lead to a synergistic integration of these during proof construction and can be beneficial yet demanding for students. Although results require further empirical underpinning, both approaches appear promising to support the resources underlying mathematical argumentation and proof skills and likely also show positive long-term effects on mathematical argumentation and proof skills, especially for initially weaker students. (shrink)

Computation and Metacognitive skills are essential sub-skills under the domain of Critical Thinking which is a 21 st Century Skill. Having acquired these skills can greatly help students to have a better performance in the Mathematics course. The purpose of this study was to determine whether computation and metacognitive skills are significant predictors of students' performance in Mathematics. Students from four sections of the course Mathematics in the Modern World which was offered during the first semester (...) of the academic year 2018-2019 were selected as the participants of this study which was conducted at Gov. Alfonso D. Tan College, Tangub City, Misamis Occidental, Philippines. The results of this study showed that students' scores in computation and metacognitive test of skills significantly correlate with the students' performance in Mathematics in terms of Grade Point Average (GPA) and a positive direct relationship has been established. Using the Regression Analysis, the result revealed that both computation and metacognitive skills of the students were significant predictors of their performance in Mathematics. These research outcomes affirm that if students acquire these skills, they tend to perform better in Mathematics. This suggests that teachers are encouraged to be more strategic in training the students to acquire and develop computation and metacognitive skills by administering various mathematical problems that encourage students to think critically. (shrink)

Metacognitive skills are essential to be developed by the students to help improve their academic performance. This study was conducted with the aim of determining whether the use of problem-solving strategies can increase students' metacognitive skills. Students of the Mathematics in the World course offered at a local college in the Philippines were selected to participate in this study. Using an independent sample t-test, results revealed that students who were the recipients of problem-solving strategies scored statistically higher in (...) formal examinations compared to those students who were taught using conventional strategies. The researchers concluded that students who were taught using the problem-solving strategy enhanced their metacognitive skills based on their scores in the test of metacognitive skills during the post-test. The researchers suggested that teachers should incorporate problem-solving strategies into their lessons since this research demonstrates this to be an effective strategy for enhancing students' metacognitive skills essential to their learning. (shrink)

In the recent years, problem-solving become a central topic that discussed by educators or researchers in mathematics education. it’s not only as the ability or as a method of teaching. but also, it is a little in reviewing about the components of the support to succeed in problem-solving, such as student's belief and attitude towards mathematics, algebraic thinking skills, resources and teaching materials. In this paper, examines the algebraic thinking skills as a foundation for problem-solving, and learning cycle (...) as a breath of continuous learning. In this paper, learning cycle to be used is a modified type of 5E based on beliefs. (shrink)

Recent experimental evidence from developmental psychology and cognitive neuroscience indicates that humans are equipped with unlearned elementary mathematical skills. However, formal mathematics has properties that cannot be reduced to these elementary cognitive capacities. The question then arises how human beings cognitively deal with more advanced mathematical ideas. This paper draws on the extended mind thesis to suggest that mathematical symbols enable us to delegate some mathematical operations to the external environment. In this view, mathematical (...) symbols are not only used to express mathematical concepts—they are constitutive of the mathematical concepts themselves. Mathematical symbols are epistemic actions, because they enable us to represent concepts that are literally unthinkable with our bare brains. Using case-studies from the history of mathematics and from educational psychology, we argue for an intimate relationship between mathematical symbols and mathematical cognition. (shrink)

Early mathematical abilities matter for later formal arithmetical performances, school and professional success. Accordingly, it seems central to accurately assess numerical school readiness at school entrance. This is a prerequisite for identifying school-starters who are at risk to encounter difficulties in mathematics and stimulate their acquisition of mathematical fundamentals as soon as possible. In the present study, we present a new test which allows professionals working with children (e.g., teachers, school psychologists, speech therapists, school doctors) to assess children’s (...) numerical school readiness when they enter formal schooling in a simple, rapid and efficient manner. 346 children were assessed at the entrance of 1st grade (6-to-7-year-olds) with the novel numerical school readiness test (T1). In addition, children’s numerical skill levels were evaluated with classical arithmetical tests at T1 and a year later in 2nd grade (T2, 7-to-8-year-olds). Performance in these classical tests in 1st and 2nd grade systematically related to their early mathematical abilities assessed with the numerical school readiness test. By using the present test to evaluate numerical school readiness it is possible to identify pupils at risk for developing poor mathematical skills right from the start of formal schooling. Such a tool is needed, as a child’s scholastic level in mathematic at school entrance (or school readiness) is known to be critical for his or her future school and professional carrier (Currie & Thomas, 1999; Duncan et al., 2007; Pagani, Fitzpatrick, Archambault, & Janosz, 2010; Rivera-Batiz, 1992; Romano, Babchishin, Pagani, & Kohen, 2010). (shrink)

Mathematics textbooks teach logical reasoning by example, a practice started by Euclid; while logic textbooks treat logic as a subject in its own right without practical application to mathematics. Stuck in the middle are students seeking mathematical proficiency and educators seeking to provide it. To assist them, the article explains in practical detail how to teach logic-based skills such as: making mathematical reasoning fully explicit; moving from step to step in a mathematical proof in logically correct (...) ways; and checking to make sure inferences are logically correct. The methodology can easily be extended beyond the four examples analyzed. (shrink)

Despite the importance of mathematics in our educational systems little is known about how abstract mathematical thinking emerges. Under the uniting thread of mathematical development, we hope to connect researchers from various backgrounds to provide an integrated view of abstract mathematical cognition. Much progress has been made in the last 20 years on how numeracy is acquired. Experimental psychology has brought to light the fact that numerical cognition stems from spatial cognition. The findings from neuroimaging and single (...) cell recording experiments converge to show that numerical representations take place in the intraparietal sulcus. Further research has demonstrated that supplementary neural networks might be recruited to carry out subtasks; for example, the retrieval of arithmetic facts is done by the angular gyrus. Now that the neural networks in charge of basic mathematical cognition are identified, we can move onto the stage where we seek to understand how these basics skills are used to support the acquisition and use of abstract mathematical concepts. (shrink)

This fundamental and straightforward text addresses a weakness observed among present-day students, namely a lack of familiarity with formal proof. Beginning with the idea of mathematical proof and the need for it, associated technical and logical skills are developed with care and then brought to bear on the core material of analysis in such a lucid presentation that the development reads naturally and in a straightforward progression. Retaining the core text, the second edition has additional worked examples which (...) users have indicated a need for, in addition to more emphasis on how analysis can be used to tell the accuracy of the approximations to the quantities of interest which arise in analytical limits. (shrink)

Socio-economic status and mathematical performance seem to be risk factors of mathematics anxiety in both children and adults. However, there is little evidence about how exactly these three constructs are related, especially during early stages of mathematical learning. In the present study, we assessed longitudinal performance in symbolic and non-symbolic basic numerical skills in pre-school and second grade students, as well as MA in second grade students. Participants were 451 children from 12 schools in Chile, which differed (...) in school vulnerability index, an indicator of SES. We tested an explanatory model of MA that included SES and longitudinal performance in basic numerical skills as predictors. The results showed a direct effect of SES on MA and a mediating effect of performance in symbolic and non-symbolic comparison tasks in pre-school. However, in second grade, only performance in symbolic comparison significantly mediated the SES-MA relationship. These findings suggest that performance in non-symbolic comparison plays an important role in explaining MA at initial stages, but that its influence is no longer significant by the time children reach formal instruction in second grade. By contrast, as children’s formal educational experience in mathematics increases, MA becomes linked primarily to symbolic numerical tasks. In sum, SES affects MA and this is due in part to the effect of SES on the development of numerical learning in pre-school, which in turn has an impact on subsequent, more complex learning, ultimately leading to differences in MA. We discuss the implications of these findings for preventing and acting upon the emergence of MA. (shrink)

The central question underlying this study was whether metacognition training could enhance the two metacognition components—knowledge and skills—and the mathematical problem-solving capacities of normal children in grade 3. We also investigated whether metacognitive training had a differential effect according to the children's mathematics level. A total of 48 participants took part in this study, divided into an experimental and a control group, each subdivided into a lower and a normal achievers group. The training programme took an interactive approach (...) in accordance with Schraw's (1998) recommendation and was carried out over five training sessions. Results indicated that children in the training group had significantly higher post-test metacognitive knowledge, metacognitive skills, and mathematical problem-solving scores. In addition, metacognitive training was particularly beneficial to the low achievers. Thus metacognitive training enabled the low achievers to make progress and solve the same number of problems on the post-test as the normal achievers solved on the pre-test. (shrink)

The heart of mathematics is its elegance; the way it all fits together. Unfortunately, its beauty often eludes the vast majority of people who are intimidated by fear of the difficulty of numbers. Mathematical Elegance remedies this. Using hundreds of examples, the author presents a view of the mathematical landscape that is both accessible and fascinating. At a time of concern that American youth are bored by math, there is renewed interest in improving math skills. Mathematical (...) Elegance stimulates students, along with those already experienced in the discipline, to explore some of the unexpected pleasures of quantitative thinking. Invoking mathematical proofs famous for their simplicity and brainteasers that are fun and illuminating, the author leaves readers feeling exuberant--as well as convinced that their IQs have been raised by ten points. A host of anecdotes about well-known mathematicians humanize and provide new insights into their lofty subjects. Recalling such classic works as Lewis Carroll's Introduction to Logic and A Mathematician Reads the Newspaper by John Allen Paulos, Mathematical Elegance will energize and delight a wide audience, ranging from intellectually curious students to the enthusiastic general reader. (shrink)

In historical claims for nativism, mathematics is a paradigmatic example of innate knowledge. Claims by contemporary developmental psychologists of elementary mathematical skills in human infants are a legacy of this. However, the connection between these skills and more formal mathematical concepts and methods remains unclear. This paper assesses the current debates surrounding nativism and mathematical knowledge by teasing them apart into two distinct claims. First, in what way does the experimental evidence from infants, nonhuman animals (...) and neuropsychology support the nativist hypothesis? Second, granting that infants have some elementary mathematical skills, does this mean that such skills play an important role in the development of mathematical knowledge? (shrink)

Preadolescence is an important period for the consolidation of certain arithmetic facts, and the development of problem-solving strategies. Obese subjects seem to have poorer academic performance in math than their normal-weight peers, suggesting a negative effect of obesity on math skills in critical developmental periods. To test this hypothesis, event-related potentials were collected during a delayed-verification math task using simple addition and subtraction problems in obese [above 95th body mass index percentile] and non-obese preteens with different levels of math (...) skill; thirty-one with low math skills and thirty-one with high math skills. No significant differences between weight groups were observed in task accuracy regardless of their mathematical skill level. For ERPs, electrophysiological differences were found only in the subtraction condition; participants with obesity showed an electrophysiologic pattern associated with a reduced ability to allocate attention resources regardless of their math skill level, these differences were characterized by longer P300 latency than their normal-weight peers. Moreover, the participants with obesity with high math skills displayed hypoactivity in left superior parietal lobule compared with their normal-weight peers. Additionally, obese preteens with low math skills displayed smaller arithmetic N400 amplitude than non-obese participants, reflecting difficulties in retrieving visual, semantic, and lexical information about numbers. We conclude that participants with obesity are less able than their normal-weight peers to deploy their attention regardless of their behavioral performance, which seems to have a greater effect on obese participants with low math skills because they also show problems in the retrieval of solutions from working memory, resulting in a delay in the development of mathematical skills. (shrink)

This book is a selection of papers from a conference which took place at the University of Keele in July 1982. The conference was an extraordinarily enjoyable one, and we would like to take this opportunity of thanking all participants for helping to make it so. The conference was intended to allow scholars working on different aspects of symbolic behaviour to compare findings, to look for common ground, and to identify differences between the various areas. We hope that it was (...) successful in these aims: the assiduous reader may judge for himself. Several themes emerged during the course of the conference. Some of these were: 1. There is a distinction to be made between those symbol systems which attempt, more or less directly, to represent a state of affairs in the world (e. g. language, drawing, map and navigational skill) and those in which the representational function is complemented, if not overshadowed, by properties of the symbol system itself, and the systematic inter-relations that symbols can have to one another (e. g. music, mathematics). The distinction is not absolute, for the nature of all symbolic skills is, in part, a function of the structure of the symbolic system employed. Nonetheless, this distinction helps us to understand some common acquisition difficulties, such as that experienced in mathematics, where mental manipulation of symbols can go awry if a child assumes too close a correspondence between mathematical symbols and the world they represent. 2. (shrink)

Along with critical thinking, collaboration and communication, creativity is considered a crucial skill to prepare students for uncertain societal challenges and future jobs in the twenty-first century. Therefore, it is not enough to just encourage creativity in education, but it is also important to assess it, because assessing creativity helps to recognise and understand students' creative abilities. In this paper, we focus on mathematical creativity and link it to general definitions of creativity. We thoroughly investigate and analyse methods that (...) foster mathematical creativity and enable its assessment, highlighting innovations that result from the application of these methods. The methods we consider focus on approaches to problem posing and problem solving, including open-ended tasks. The results show that these methods not only enhance students' mathematical creativity, but also contribute to more connected mathematical knowledge and improve problem-solving skills. (shrink)

Mathematical thinking skills are very important in mathematics, both to learn math or as learning goals. Thinking skills can be seen from the description given answers in solving mathematical problems faced. Mathematical thinking skills can be seen from the types, levels, and process. Proportionally questions given to students at universities in Indonesia (semester I, III, V, and VII). These questions are a matter of description that belong to the higher-level thinking. Students choose 5 of (...) 8 given problem. Qualitatively, the answers were analyzed by descriptive to see the tendency to think mathematically used in completing the test. The results show that students tend to choose the issues relating to the calculation. They are more use cases, examples and not an example, to evaluate the conjecture and prove to belong to the numeric argumentation. Used mathematical thinking students are very personal (intelligence, interest, and experience), and the situation (problems encountered). Thus, the level of half of the students are not guaranteed and shows the level of mathematical thinking. (shrink)

Based on Geary's theory, intelligence may determine which males utilize innate spatial knowledge to inform their mathematical solutions. This may explain why math gender differences occur mainly with higher abilities. In support, we found that mental rotation ability served as a mediator of gender differences on the math Scholastic Assessment Test for two high-ability samples. Our research suggests, however, that environment and biology interact to influence mental rotation abilities.

"This book is interesting and well-written. The research methods were explained clearly and conclusions were summarized nicely. It is a relatively quick read at only 130 pages. Anyone who has been told, or who has told others, that mathematicians make better thinkers should read this book." MAA Reviews "The authors particularly attend to protecting positive correlations against the self-selection interpretation, merely that logical minds elect studying more mathematics. Here, one finds a stimulating survey of the systemic difficulties people have with (...) basic syllogisms and deductions." CHOICE connect "The authors particularly attend to protecting positive correlations against the self-selection interpretation, merely that logical minds elect studying more mathematics. Here, one finds a stimulating survey of the systemic difficulties people have with basic syllogisms and deductions." CHOICE Connect For centuries, educational policymakers have believed that studying mathematics is important, in part because it develops general thinking skills that are useful throughout life. This 'Theory of Formal Discipline' (TFD) has been used as a justification for mathematics education globally. Despite this, few empirical studies have directly investigated the issue, and those which have showed mixed results. Does Mathematical Study Develop Logical Thinking? describes a rigorous investigation of the TFD. It reviews the theory's history and prior research on the topic, followed by reports on a series of recent empirical studies. It argues that, contrary to the position held by sceptics, advanced mathematical study does develop certain general thinking skills, however these are much more restricted than those typically claimed by TFD proponents. Perfect for students, researchers and policymakers in education, further education and mathematics, this book provides much needed insight into the theory and practice of the foundations of modern educational policy. (shrink)

In historical claims for nativism, mathematics is a paradigmatic example of innate knowledge. Claims by contemporary developmental psychologists of elementary mathematical skills in human infants are a legacy of this. However, the connection between these skills and more formal mathematical concepts and methods remains unclear. This paper assesses the current debates surrounding nativism and mathematical knowledge by teasing them apart into two distinct claims. First, in what way does the experimental evidence from infants, nonhuman animals (...) and neuropsychology support the nativist hypothesis? Second, granting that infants have some elementary mathematical skills, does this mean that such skills play an important role in the development of mathematical knowledge? (shrink)

Objective: To assess the impact of Khan Academy on the Mathematics educational process for UNDAC students and determine the relevance and efficacy of its content and strategies within the Mathematics-Physics program. Methodology: This research is framed within the positivist paradigm and takes on a quantitative approach. An experimental pre-experimental design was used with pretest and posttest in a single group. The study is applied in nature and is grounded in the contributions of expert researchers and methodologists on the subject. Analytical (...) tools were developed with a reliability coefficient of 0.90, and the investigated population consisted of students from the Mathematics-Physics program at UNDAC. Results: Students who incorporated Khan Academy exhibited significant improvements in their mathematical performance. Persistence in using the platform led to significant enhancements in academic achievement. 70 % of the students reached high levels of mathematical skill development. The majority expressed high satisfaction with the platform. Conclusions: Khan Academy has a meaningful and positive impact on mathematics learning among university students at UNDAC. The platform not only promotes content mastery but also fosters learning autonomy. These findings advocate for the adoption of innovative educational technologies in teaching, especially within STEM disciplines. (shrink)

In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. (...) Several attributions of shortcomings and logical errors to Aristotle are shown to be without merit. Aristotle's logic is found to be self-sufficient in several senses: his theory of deduction is logically sound in every detail. (His indirect deductions have been criticized, but incorrectly on our account.) Aristotle's logic presupposes no other logical concepts, not even those of propositional logic. The Aristotelian system is seen to be complete in the sense that every valid argument expressible in his system admits of a deduction within his deductive system: every semantically valid argument is deducible. (shrink)

Elementary set theory accustoms the students to mathematical abstraction, includes the standard constructions of relations, functions, and orderings, and leads to a discussion of the various orders of infinity. The material on logic covers not only the standard statement logic and first-order predicate logic but includes an introduction to formal systems, axiomatization, and model theory. The section on algebra is presented with an emphasis on lattices as well as Boolean and Heyting algebras. Background for recent research in natural language (...) semantics includes sections on lambda-abstraction and generalized quantifiers. Chapters on automata theory and formal languages contain a discussion of languages between context-free and context-sensitive and form the background for much current work in syntactic theory and computational linguistics. The many exercises not only reinforce basic skills but offer an entry to linguistic applications of mathematical concepts. For upper-level undergraduate students and graduate students in theoretical linguistics, computer-science students with interests in computational linguistics, logic programming and artificial intelligence, mathematicians and logicians with interests in linguistics and the semantics of natural language. (shrink)

When students ponder why they consider it relevant to learn math it becomes apparent that their attributions of relevance do not meet what educational policies state as goals. While they generally consider the subject to be important, their explanations why they do so are limited to only elementary mathematical skills needed in everyday life or unspecified skills for later work life, rarely connecting them to broader societal topics. Integrating Critical Mathematics Education (CME) tasks into math lessons might (...) be a chance to let attributions of relevance evolve further. This contribution shows in how far the students’ perspectives on the relevance of math changed after they experienced several CME units. 16 students from three different schools have participated in two rounds of interviews where they have been asked about their image of math and math learning and if and what they consider relevant. Within the second round of interviews, after they experienced several CME units, additional questions about their experiences in these lessons have been added. The analysis shows that students’ general attribution of relevance did not change considerably. However, effects could be identified in their reflections about the CME units. Students talked about how these units let them experience a connection between math and societal topics that leads to a more personal and direct relevance of math for their lives. However, their understanding of what counts as doing math might hinder them to easily transfer their experiences within these units to their general attributions of relevance of math. If teachers regularly include CME tasks into their math lessons and make reflections on what mathematical activities have been applied to make sense of them an integral part of instruction, CME seems to offer the opportunity for students to broaden their conceptions of math and experience connections between math and societal topics more clearly. (shrink)

Many mathematicians have a rich internal world of mental imagery. Using elementary mathematical skills, this study probes the mathematical imagination's sensorimotor foundations. Mental imagery is perturbed using body position: having the head and vestibular system in different positions with respect to gravity. No two mathematicians described the same imagery. Eight out of 11 habitually visualize, one uses sensorimotor imagery, and two do not habitually used mental imagery. Imagery was both intentional and partly autonomous. For example, coordinate planes (...) rotated, drifted, wobbled, or slid down from vertical to horizontal. Parabolae slid into place or, on one side, a parabola arm reached upward in gravity. The sensorimotor foundation of imagery was evidenced in several ways. The imagery was placed with respect to the body. Further, the imagery had a variety of relationships to the body, such as the body being the coordinate system or the coordinate system being placed in front of the eyes for easy viewing by the mind's eye. The mind's eye, mind's arm, and awareness almost always obeyed the geometry of the real eye and arm. The imagery and body behaved as a dyad, so that the imagery moved or placed itself for the convenience of the mind's eye or arm, which in turn moved to follow the imagery. With eyes closed, participants created a peripersonal imagery space, along with the peripersonal space of the unseen environment. Although mathematics is fundamentally abstract, imagery was sometimes concrete or used a concrete substrate or was placed to avoid being inside concrete objects, such as furniture. Mathematicians varied in the numbers of components of mental imagery and the ways they interacted. The autonomy of the imagery was sometimes of mathematical interest, suggesting that the interaction of imagery habits and autonomy can be a source of mathematical creativity. (shrink)

G. H. Hardy’s remarkable Indian protégé Srinivasa Ramanujan (1887-1920) is without doubt the most significant mathematician who is known to have solved one of Dudeney’s puzzles. When a student friend at Cambridge read out an arithmetical problem from Dudeney’s “Perplexities” column in the latest issue of The Strand Magazine, specifically the Grand Christmas Double Number of December 1914, Ramanujan solved it straightaway and in a generalised form, without recourse to pencil and paper. The story of this astonishing display of (...) class='Hi'>mathematical skill is told in some detail and its supposed implications discussed. (shrink)

This is a concise book that introduces students to the basics of logical thinking and important mathematical structures that are critical for a solid understanding of logical formalisms themselves as well as for building the necessary background to tackle other fields that are based on these logical principles. Despite its compact and small size, it includes many solved problems and quite a few end-of-section exercises that will help readers consolidate their understanding of the material. This textbook is essential reading (...) for anyone interested in the logical foundations of Informatics, Computer Science, Data Science, Artificial Intelligence, and other related areas. Written with undergraduate students in these disciplines in mind, this book can very well serve the needs of interested and curious readers who wish to get a grasp of the logical principles upon which these fields are built. This book does not require readers to possess math skills beyond those learned in high school. (shrink)

Mathematicians suggest that some proofs are valued for their explanatory value. This has led to a philosophical debate about the distinction between explanatory and non-explanatory proofs. In this paper, we explore whether contrasting views about the explanatory value of proof are possible and how to understand these diverging assessments. By considering an epistemic and contextual conception of explanation, we can make sense of disagreements about explanatoriness in mathematics by identifying differences in the background knowledge, skill corpus, or epistemic aims of (...) mathematicians or mathematical communities. We focus on the relation between explanation, epistemic aims and diverging explanatory assessments by looking at cases from mathematical practice. (shrink)

In this article, we review approaches to modeling a connection between spatial and mathematical thinking across development. We critically evaluate the strengths and weaknesses of factor analyses, meta-analyses, and experimental literatures. We examine those studies that set out to describe the nature and number of spatial and mathematical skills and specific connections between these abilities, especially those that included children as participants. We also find evidence of strong spatial-mathematical connections and transfer from spatial interventions to (...) class='Hi'>mathematical understanding. Finally, we map out the kinds of studies that could enhance our understanding of the mechanisms by which spatial and mathematical processing are connected and the principles by which mathematical outcomes could be enhanced through spatial training in educational settings. (shrink)

Mathematical learning difficulties (MLD) refer to a variety of deficits in math skills, typically pertaining to the domains of arithmetic and problem solving. The present study examined the time course of attentional orienting in MLD children with a spatial cueing task, by parametrically manipulating the cue-target onset asynchrony (CTOA). The results of Experiment 1 revealed that, in contrast to typical developing children, the inhibitory aftereffect of attentional orienting—frequently referred to as inhibition of return (IOR)—was not observed in the (...) MLD children, even at the longest CTOA tested (800 ms). However, robust early facilitation effects were observed in the MLD children, suggesting that they have difficulties in attentional disengagement rather than attentional engagement. In a second experiment, a secondary cue was introduced to the cueing task to encourage attentional disengagement and IOR effects were observed in the MLD children. Taken together, the present experiments indicate that MLD children are sluggish in disengaging spatial attention. (shrink)

This book uncovers the lost history of Christianity's encounters with Pythagorean ideas before the Renaissance. David Albertson skillfully examines ancient and medieval theologians, particularly Thierry of Chartres and Nicholas of Cusa, who successfully reconceived the Trinity and the Incarnation within the framework of Greek number theory. David Albertson challenges modern assumptions about the complex relationship between religion and science.