Algorithmic Problem Solving — Three Years On

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

Content

Author and article information

Contributors

Roland Backhouse

Conference

Publication date: December 2006

Publication date (Print): December 2006

Pages: 1-6

Affiliations

[0001]School of Computer Science and Information Technology

University of Nottingham

Nottingham NG8 1BB,

England

Article

DOI: 10.14236/ewic/TFM2006.6

SO-VID: c99aeb8e-4c83-45b0-a7d7-4578274e7580

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Teaching Formal Methods: Practice and Experience

Conference acronym: TFM

Conference number:

Conference location: BCS London Office, UK

Conference date: 15 December 2006

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Teaching Formal Methods: Practice and Experience

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/TFM2006.6

Self URI (journal page): https://ewic.bcs.org/

Studying business & IT? Drive your professional career forwards with BCS books - for a 20% discount click here: shop.bcs.org

Algorithmic Problem Solving — Three Years On

Abstract