Module Overview
In this module we dive into theory and learn about proving properties of our algorithms!
Module Outline
- Lecture outline
- How Do We Really ‘Know’ Something and prove it?
- What's the point of proving something?
- A Primer on Proof Techniques
- Proving Algorithm Correctness for Searching and Sorting
- Asymptotic Notation
- (Maybe) Big-O of Linked Arrays/Linked List/Stack/Queue.