COSC432

Relational Methods

15 points

Not offered 2023, offered in 2018, 2020, 2021, 2022

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.

Prerequisites

(1) at least one of COSC261, COSC262; and (2) at least one of MATH120, MATH230