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.

Paper Information

Points: 20.0
Prerequisite(s): (COMP103 or ENGG182) and (COMP235 or MATH258) and (COMP203 or COMP241 or 40 points at 200 Level in Mathematics)
Internal assessment / examination: 1:1

Semesters and Locations

Occurrence Code When taught Where taught
17A (HAM)A Semester : Feb 27 - Jun 25, 2017 Hamilton

Timetabled Lectures for Reasoning about Programs (COMP340)

DayStartEndRoomDates
Mon11:00 AM12:00 PMI.1.01Feb 27 - Jun 4
Wed4:00 PM5:00 PMI.1.01Feb 27 - Jun 4
Fri1:00 PM2:00 PMI.1.01Feb 27 - Jun 4

NB:There may be other timetabled events for this paper such as tutorials or workshops.
Visit the online timetable for COMP340 for more details


Indicative Fees for Reasoning about Programs (COMP340)

Occurrence Domestic International
 Tuition Resource 
17A (HAM) $1131 $0 $4663
You will be sent an enrolment agreement which will confirm your fees.
Tuition fees shown below are indicative only and may change. There are additional fees and charges related to enrolment - please see the Table of Fees and Charges for more information.

Paper Outlines for Reasoning about Programs (COMP340)

The following paper outlines are available for Reasoning about Programs (COMP340).
If your paper occurrence is not listed contact the Faculty or School office.

Additional Information

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

This page has been reformatted for printing.