COMP340

Reasoning about Programs

2018
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.

Timetabled lectures

This paper has no scheduled lectures - check for other activities in the online timetable for this paper.

Additional information

  • Indicative fees current as of 29 Oct 2025 01:20am