Use the Tab and Up, Down arrow keys to select menu items.
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.
TopicsIn this course we explore binary relations and their application in modelling. We will cover a selection of topics from the following, non-exclusive list:• foundations - relations - orders - lattices• applications - graphs: transitive closure, reachability, matchings, cycles, confluence - modelling: two-person games, social choice, preference - algorithm development: relational specification, program transformation - program semantics: verification, preconditions, fixpoints, computation models• tools - relational programming and modelling languages: Alloy, RelView - counterexample generators: Mace4, Nitpick - automated theorem provers: Isabelle, Prover9
1. Analyse relations, relational operations and their properties [WA1, WA2, WA4]2. Formally reason about relations and programs [WA2, WA4]3. Create and analyse relational models and programs [WA3]4. Justify formal arguments about relations [WA2, WA4]
This course will provide students with an opportunity to develop the Graduate Attributes specified below:
Employable, innovative and enterprising
Students will develop key skills and attributes sought by employers that can be used in a range of applications.
(1) at least one of COSC261, COSC262; and (2) at least one of MATH120, MATH230
Students must attend one activity from each section.
Please note that the course activity times advertised here are currently in draft form, to be finalised at the end of January for S1 and whole year courses, and the end of June for S2 courses. Please hold off enquiries about these times till those finalisation dates.
Walter Guttmann
Bird, Richard , Moor, Oege de; Algebra of programming ; Prentice Hall, 1997.
C. Brink, W. Kahl, G. Schmidt; Relational methods in computer science ; Springer, 1997.
Jackson, Daniel; Software abstractions : logic, language, and analysis ; Rev. ed; MIT Press, 2012.
Schmidt, Gunther; Relational mathematics ; Cambridge University Press, 2011.
Schmidt, Gunther , Strohlein, Thomas; Relations and graphs : discrete mathematics for computer scientists ; New York : Springer-Verlag, 1993.
Course Information on Learn
The Computer Science department's grading policy states that in order to pass a course you must meet two requirements:1. You must achieve an average mark of at least 50% over all assessment items.2. You must achieve an average mark of at least 45% in the exam.If you satisfy both these criteria, your grade will be determined by the following University-wide scale for converting marks to grades: an average mark of 50% is sufficient for a C- grade, an average mark of 55% earns a C grade, 60% earns a C+ grade and so forth. However if you do not satisfy both the passing criteria you will be given either a D or E grade depending on marks. Marks are sometimes scaled to achieve consistency between courses from year to year.Students may apply for special consideration if their performance in an assessment is affected by extenuating circumstances beyond their control.Applications for special consideration should be submitted via the Examinations Office website within five days of the assessment. Where an extension may be granted for an assessment, this will be decided by direct application to the Department and an application to the Examinations Office may not be required. Special consideration is not available for items worth less than 10% of the course.Students prevented by extenuating circumstances from completing the course after the final date for withdrawing, may apply for special consideration for late discontinuation of the course. Applications must be submitted to the Examinations Office within five days of the end of the main examination period for the semester.
Please click HERE for the CSSE Department's policy for the academic remedy of applications for a special consideration for final exams.
Domestic fee $1,110.00
International Postgraduate fees
* All fees are inclusive of NZ GST or any equivalent overseas tax, and do not include any programme level discount or additional course-related expenses.
For further information see Computer Science and Software Engineering .