Technology in maths education
Michael a. E Dummett the Justification of Deduction Henriette Hertz Trust Annual Philosophical Lecture 1973 1974
Formal Methods. Software Engineering and Formal Methods Every software engineering methodology is based on a recommended development process Proceeding.
NCTM’s Focus in High School Mathematics: Reasoning and Sense Making.
Motivating Urban Minority Students Through Error Analysis An Action Research Study Serigne Gningue (Co-PI) & Julissa Soriano (Noyce Scholar) NSF Robert.
Formal Methods 1. Software Engineering and Formal Methods Every software engineering methodology is based on a recommended development process proceeding.
Nuno Cruz David (ISCTE, Lisbon, Portugal) [email protected]
NCTM’s Focus in High School Mathematics: Reasoning and Sense Making
Formal Methods