This paper is not offered for 2018

20

300

(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

  • Paper details current as of 31 May 2024 18:21pm
  • Indicative fees current as of 2 Jun 2024 01:20am