How can the use of the Standards for Mathematical Practice in the classroom be supported? Professional developers and teacher educators strive to support teachers as they seek to answer this question. When teachers personally and intentionally experience the practices and reflect on how the practices support and promote mathematical understanding,…

The ability to reason with formal logic is a foundational skill for computer scientists and computer engineers that scaffolds the abilities to design, debug, and optimize. By interviewing students about their understanding of propositional logic and their ability to translate from English specifications to Boolean expressions, we characterized…

Examines mathematics problem solving in a computer software environment using graphical representations of the results of simulations with adolescent students. Discusses the strengths and limitations of inferring goals and plans, the use of verbal protocols, and ways for computer-based learning environments to scaffold acquisition of domain…

Research is only beginning to show the benefits of the effective use of manipulatives with students who have disabilities. This article highlights how teachers can incorporate three manipulative instructional strategies to help students with high-incidence disabilities.