Algorithmic Problem Solving — Three Years On
Roland Backhouse · Electronic workshops in computing · 2006
“Algorithmic problem solving” introduces problem-solving skills based on the principles of correct-by-construction algorithm design. Introduced three years ago as a 1st-year option, the module has overcome initial opposition, and became compulsory for all 1st-year students of Computer Science and Mathematics and Computer Science at the University of Nottingham from September, 2006. This paper gives a short introduction to the goals of the module and how the goals are being realised.