Skip navigation
The Australian National University

COMP2600: Formal Methods for Software Engineering - 2011

Text Book

  • Logic and Discrete Mathematics: A Computer Science Perspective Grassmann and Tremblay, (Prentice Hall).
    This book covers many (but not all) of the topics we meet in COMP2600. The Co-Op Bookshop has some copies and there are several in the Hancock Library.

Fun Stuff

  • Logicomix by A. Doxiadis and C. Papadimitriou, Bloomsbury Publishing, 2009. A graphic novel subtitled `An Epic Search for Truth' starring Russel, Whitehead, Frege, Goedel, Turing and many other great logicians of the 20th century. Highly recommended.

Supplementary Reading Material

The following are recommended references. More may be added as the semester progresses.
  • Haskell: The Craft of Functional Programming (2e) Simon Thompson, (Addison Wesley).
    Many of you will have this book from COMP1100, and there are several copies in the Hancock Library.
  • Discrete Mathematics with Applications (3e) Susanna Epp, (Thomson-Brooks/Cole).
    There are several copies (1st and 2nd editions) in the Hancock Library.
  • The Logic Book Merrie Bergmann, (McGraw-Hill).
    There are numerous copies of this textbook in the Chifley Library.
  • Discrete Mathematics for Computing John Munro, (Thomas Nelson).
    There are several copies in the Hancock Library.
  • Mathematical Logic by Chiswell and Hodges, Oxford University Press, 2007. A very thorough and readable introduction to the topic.
  • Reasoned Programming by Krysia Broda, Susan Eisenbach, Hessam Khoshnevisan and Steven Vickers, Prentice Hall 1994. The first part is a bit dated by now, but the second part is a very usable introduction to first-order logic. Available electronically via the URL above.
  • forall x by P. D. Magnus. Another gentle introduction to first order logic, available electronically via the link above.
  • Semantics with Applications: A Formal Introduction by Hanne Riis Nielson and Flemming Nielson, Wiley 1992. A revised version is available at the URL above. Covers the Hoare Logic part of this course.
  • The Formal Semantics of Programming Languages by Glynn Winskel, MIT Press 1993. Another Reference for Hoare Logic that contains in particular the proof of relative completeness.
  • Using Z by Jim Davies and Jim Woodcock, Prentice Hall 1996. Everything you ever wanted to know about Z, and more!

Updated:  25 July 2013 / Responsible Officer:   JavaScript must be enabled to display this email address. / Page Contact:   JavaScript must be enabled to display this email address.