Lecture Slides
| Week | Lecture 1 | Lecture 2 | |
|---|---|---|---|
| 1 | Introduction to Predicate Logic | Quantifiers in Predicate Logic | |
| 2 | Writing Predicate Logic Statements | Multiple Quantifiers | |
| 3 | Quantifiers and Arguments | Quantifiers and Arguments (continued) | |
| 4 | Simple Algorithms | Graphs in Computer Science | |
| 5 | Paths in Graphs | Shortest Paths | |
| 6 | Circuits in Graphs | Trees | |
| 7 | Algorithm Analysis & Counting Rules | Revision (Predicate Logic) | |
| 8 | Counting Combinations | In Class Test 1 (06/02/2020) | |
| 9 | Transitioning to Online Delivery due to COVID-19 | ||
| 10 | Algorithm Complexity | Algorithm Complexity (continued) | |
| 11 | Sorting | Sorting & Induction | Recursion | Proof | |
| 12 | In Class Test 2 (03/04/2020) | ||