Reasoning about Programs - COMP340 (2017)
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.
Semesters and Locations
|17A (HAM)||A Semester : Feb 27 - Jun 25, 2017
Available Subjects: Computer Science | Mathematics | Software Engineering
Other available years: Reasoning about Programs - COMP340 (2018)
Paper details current as of : 19 January 2018 11:30am
Indicative fees current as of : 20 January 2018 4:30am