CO520 and CO325 are pre-requisites. CO523 is an alternative to these and may be
taken as a co-requisite.
OverviewPropositional & Predicate Logic, including proofs
This module appears in:
10 classes (a mixture of seminars and terminal classes)
Method of assessment
50% for the coursework
50% for the examinations.
Huth, Ryan: Logic in Computer Science
Boolos, Jeffrey: Computability and Logic
Martin: Introduction to Languages and the Theory of Computation
Students who successfully complete this module will be able to:
Understand specifications in formal logical notation
Write formal proofs
Understand the expressiveness of various language formalisms
Appreciate the difference between decidable and undecidable problems