Use the Tab and Up, Down arrow keys to select menu items.
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.
(1) at least one of COSC261, COSC262; and (2) at least one of MATH120, MATH230