Papers tagged with mathematical logic
-
Fundamentals of the design and the operation of an intelligent tutoring system for the learning of the arithmetical and algebraic way of solving word problems
Computers & Education Volume 63, Number 1
-
Gains and Pitfalls of Quantifier Elimination as a Teaching Tool
International Journal for Technology in Mathematics Education Volume 22, Number 4
-
Using Small-Step Refinement for Algorithm Verification in Computer Science Education
International Journal for Technology in Mathematics Education Volume 22, Number 4
-
Teaching and Learning Calculus in Secondary Schools with the TI-Nspire
Malaysian Online Journal of Educational Sciences Volume 2, Number 1
-
Writing Code to Assess Geometric Reasoning
Teaching Children Mathematics Volume 24, Number 4
-
Fostering Mathematical Understanding through Physical and Virtual Manipulatives
Australian Mathematics Teacher Volume 70, Number 4
-
Making Students' Mathematical Explanations Accessible to Teachers through the Use of Digital Recorders and iPads
Learning, Media and Technology Volume 41, Number 2