Algorithmic problem solving: three years on

Authors:
Roland Backhouse
Affiliations:
School of Computer Science and Information Technology, University of Nottingham, Nottingham, England
Venue:
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Year:
2006

Citing 5
Cited 0

On the shape of mathematical arguments

On the shape of mathematical arguments
A logical approach to discrete math

A logical approach to discrete math
Guarded commands, nondeterminacy and formal derivation of programs

Communications of the ACM
The associativity of equivalence and the Towers of Hanoi problem

Information Processing Letters - Special issue in honor of Edsger W. Dijkstra
Program Construction: Calculating Implementations from Specifications

Program Construction: Calculating Implementations from Specifications

Quantified Score

Hi-index	0.00

Visualization

Abstract

"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.