COSC432

Relational Methods

15 points

Not offered 2019, offered in 2018

For further information see Computer Science and Software Engineering

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

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