474
views
0
recommends
+1 Recommend
1 collections
    0
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Algorithmic Problem Solving — Three Years On

      proceedings-article
      Teaching Formal Methods: Practice and Experience (TFM)
      Teaching Formal Methods: Practice and Experience
      15 December 2006
      algorithm, problem-solving, program construction
      Bookmark

            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.

            Content

            Author and article information

            Contributors
            Conference
            December 2006
            December 2006
            : 1-6
            Affiliations
            [0001]School of Computer Science and Information Technology

            University of Nottingham

            Nottingham NG8 1BB,

            England
            Article
            10.14236/ewic/TFM2006.6
            c99aeb8e-4c83-45b0-a7d7-4578274e7580
            © Roland Backhouse. Published by BCS Learning and Development Ltd. Teaching Formal Methods: Practice and Experience, BCS London Office, UK

            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/

            Teaching Formal Methods: Practice and Experience
            TFM
            BCS London Office, UK
            15 December 2006
            Electronic Workshops in Computing (eWiC)
            Teaching Formal Methods: Practice and Experience
            Product
            Product Information: 1477-9358BCS 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/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction
            problem-solving,algorithm,program construction

            Comments

            Comment on this article