COMP 1002 Unit 10 overview

This is the final unit of COMP 1002, focused on how what we learned so far applies to writing and analysing programs. In particular, we will look at where logic is used in algorithm design and programming (from designing algorithms from proofs to formulating specifications to proving program correctness), We will also look at how recurrence relations, combinatorics and probability are used to estimate performance of algorithms.

This unit does not have a lab, quiz or exercises associated with it.

Readings

Section 7.2.10 (or search for MaxCut and "method of conditional probabilities" online, in particular on Wikipedia), sections 3.3 and 7.4.4 of the textbook.