This paper introduces predicate logic as it is used in various areas of software development and artificial intelligence, as well as Hoare logic and its use for program verification. Methods of reasoning in logic and automated theorem proving are discussed. In the laboratories, students learn to practice software verification using modern proof tool.
COMP103 Introduction to Computer Science 1 and
(COMP235 Logic and Computation or
MATH258 Introduction to Discrete Mathematics)
Huth, Michael and Ryan, Mark (2004) Logic in Computer Science, 2nd edition, Cambridge University Press.
The internal assessment/final examination ratio 1:1