The Calculator Project-formal reasoning about programs
Steve Reeves, Doug Goldson, Pat Fung, T. O'Shea, M. Hopkins, Richard Bornat · 2002
This paper describes the Calculator Project, which was a three-year joint research project between the Centre for Information Technology in Education at The Open University, U.K. and the Department of Computer Science, QMW, University of London, U.K.. The project was funded by the U.K. Joint Council Initiative in Cognitive Science and Human-Computer Interaction. The central aim of the project was to test the hypothesis that providing so-called calculators would improve students performance in those parts of the undergraduate first-year that relied on formal reasoning skills.>