For previous occurrences, try the 2023 version of this year.
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
- Indicative fees current as of 29 Oct 2024 01:20am