This paper is not offered for 2022

To see papers available, visit the Papers page.



(COMP103 or ENGG182) and (COMP235 or MATH258) and (COMP203 or COMP241 or 40 points at 200 Level in Mathematics)

This paper introduces predicate logic as it is used in various areas of software development and artificial intelligence, and 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 tools.

Additional information

  • Indicative fees current as of 7 Jul 2024 01:20am