2.3 Home study
2.3.1 Proof Techniques
- TODO video on Induction and loop invariants
2.3.2 Review Material
These videos where made for the old module in Discrete Mathematics 2013-2015, but they are also
relevant here.
Sorting Algorithms
Proofs of Correctness