To design and improve instruction in mathematical proof, mathematics educators require an adequate definition of proof that is faithful to mathematical practice and relevant to pedagogical situations. In both mathematics education and the philosophy of mathematics, mathematical proof is typically defined as a type of justification that satisfies a…

BKT and other classical student models are designed for binary environments where actions are either correct or incorrect. These models face limitations in open-ended and data-driven environments where actions may be correct but non-ideal or where there may even be degrees of error. In this paper we present BKT-SR and RKT-SR: extensions of the…

Among the wide range of factors related to the acquisition of statistical knowledge, competence in basic mathematics, including basic probability, has received much attention. In this study, a mediation model was estimated to derive the total, direct, and indirect effects of mathematical competence on statistics achievement taking into account…

Computational thinking is a component of the Science and Engineering Practices in the Next Generation Science Standards, which were adopted by some states. We describe the activities in a high school chemistry course that may develop students' computational thinking skills by primarily using Excel, a widely available spreadsheet software. These…

In a recent paper, Alcock and Inglis (in press) noted a distinction between the way that Weber (in press) and they defined syntactic and semantic proof productions. Weber argued that "a syntactic proof production occurs when one works predominantly within the representation system of proof [...] Alternatively, a semantic proof production occurs…

This proceedings volume of InCoTEPD 2018 covers many ideas for handling a wide variety of challenging issues in the field of education. The outstanding ideas dealing with these issues result in innovation of the system. There are many innovation strategies resulting from recent research that are discussed in this book. These strategies will become…

This document contains the third volume of the proceedings of the 28th Annual Conference of the International Group for the Psychology of Mathematics. Conference presentations are centered around the theme "Inclusion and Diversity". A total of 65 research reports are presented here: (1) A Teacher's Model of Students Algebraic Thinking…

The first volume of the 29th annual conference of the International Group for the Psychology of Mathematics Education contains plenary lecture and research forum papers as listed below. Short oral communications papers, poster presentations, brief summaries of discussion groups, and working sessions are also included in the volume. The plenary…

The IADIS CELDA 2012 Conference intention was to address the main issues concerned with evolving learning processes and supporting pedagogies and applications in the digital age. There had been advances in both cognitive psychology and computing that have affected the educational arena. The convergence of these two disciplines is increasing at a…