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.
45 points of (COSC261 and COSC262 and 200-level MATH courses)