Relational Methods

15 points

Not offered 2019, offered in 2018

For further information see Computer Science and Software Engineering


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.


45 points of (COSC261 and COSC262 and 200-level MATH courses)