Deep Thought is a logic tutor where students practice constructing deductive logic proofs. Within Deep Thought is a data-driven mastery learning system (DDML), which calculates student proficiency based on rule scores weighted by expert-decided weights in order to assign problem sets of appropriate difficulty. In this study, we designed and tested…

Stepwise program refinement techniques can be used to simplify program verification. Programs are better understood since their main properties are clearly stated, and verification of rather complex algorithms is reduced to proving simple statements connecting successive program specifications. Additionally, it is easy to analyse similar…

In the context of a department of applied mathematics, a program assessment was conducted to assess the departmental goal of enabling undergraduate students to recognize, appreciate, and apply the power of computational tools in solving mathematical problems that cannot be solved by hand, or would require extensive and tedious hand computation. A…

The purpose of this study was to examine the cognitive predictors of calculations and number line estimation with whole numbers and fractions. At-risk 4th-grade students (N = 139) were assessed on 7 domain-general abilities (i.e., working memory, processing speed, concept formation, language, attentive behavior, and nonverbal reasoning) and…

This article reports the findings from a comparative analysis that examined several mathematical content strands, reasoning processes, and emphasis on technology in prior K-8 state mathematics standards and the Common Core State Standards for Mathematics (CCSSM). Various methodological tools were utilized to compare and contrast CCSSM with prior…

Students with specific learning disabilities (SLD) tend to have difficulty with reasoning and communication across many mathematical domains. The purpose of this study was, through open response questions, to examine the mathematics reasoning performance of 4 th grade students with SLD. Using the learner centered principles outlined by the…

Introduction: The cognitive processes that underpin successful mathematical processing in children have been well researched by experimental psychologists, but are not widely understood among teachers of primary mathematics. This is a shame, as an understanding of these cognitive processes could be highly useful to practitioners. This paper…

This longitudinal study investigated the academic and cognitive characteristics of persistent mathematics difficulty (MD-p) from first to fourth grade. Ninety-nine children were retrospectively categorized into one of three groups: MD-p, transient mathematics difficulty (MD-t), or typically developing. MD-p was defined as persistently low…

This study extends previous research examining the relations between Cattell-Horn-Carroll cognitive abilities and math achievement. The cognitive profiles of children with normative weaknesses in Math Calculation Skills or Math Reasoning were compared to those of their average-achieving peers. The cognitive profile of the low Math Calculation…

To develop their logico-mathematical foundation of number as described by Piaget (1947/1950, 1967/1971, 1971/1974), 26 low-performing, low-SES first graders were given physical-knowledge activities (e.g., Pick-Up Sticks and "bowling") during the math hour instead of math instruction. During the second half of the school year, when they showed…

This volume of the 30th annual proceedings of the International Group for the Psychology of Mathematics Education conference presents: plenary panel papers; research forum papers; short oral communication papers; and poster presentation papers from the meeting. Information relating to discussion groups and working sessions is also provided.…