COSC432-20S2 (C) Semester Two 2020

Relational Methods

15 points

Details:
Start Date: Monday, 13 July 2020
End Date: Sunday, 8 November 2020
Withdrawal Dates
Last Day to withdraw from this course:
  • Without financial penalty (full fee refund): Friday, 24 July 2020
  • Without academic penalty (including no fee refund): Friday, 25 September 2020

Description

This course covers the algebraic structure of binary relations and their use for formally specifying and reasoning about programs, graphs and models described in predicate logic. It presents the mathematics of relational programming, modelling, algorithm development and correctness proofs, and tools supporting these activities.

Pre-requisites

Timetable 2020

Students must attend one activity from each section.

Lecture A
Activity Day Time Location Weeks
01 Monday 14:00 - 16:00 John Britten 117 HP Seminar Room 13 Jul - 23 Aug
7 Sep - 18 Oct
Tutorial A
Activity Day Time Location Weeks
01 Friday 13:00 - 15:00 Beatrice Tinsley 105 13 Jul - 23 Aug
7 Sep - 18 Oct

Course Coordinator

For further information see Computer Science and Software Engineering Head of Department

Indicative Fees

Domestic fee $1,022.00

* Fees include New Zealand GST and do not include any programme level discount or additional course related expenses.

For further information see Computer Science and Software Engineering.

All COSC432 Occurrences

  • COSC432-20S2 (C) Semester Two 2020