Lectures
| Precise communication, specification and argument II | |||
| 1 | 12/01/15 | pp2 | Introduction to Predicate Logic |
| 2 | 14/01/15 | pp2 | Quantifiers |
| 3 | 19/01/15 | pp2 | Writing Predicate Logic |
| 4 | 21/01/15 | pp2 | Predicate Logic: Examples |
| 5 | 26/01/15 | pp3 | Multiple Quantifiers |
| 6 | 28/01/15 | pp4 | Quantifiers and Arguments |
| Algorithms and structured collections of objects | |||
| 7 | 02/02/15 | pp5--6 | Simple Algorithms |
| 8 | 04/02/15 | Sample Quantified Logic exam questions | |
| 9 | 09/02/15 | pp7 | Graphs |
| 10 | 11/02/15 | pp7--8 | Paths |
| 11 | 16/02/15 | pp8 | Shortest Paths |
| 12 | 18/02/15 | pp9 | Circuits |
| 13 | 23/02/15 | pp9--10 | Trees |
| Understanding algorithms and counting | |||
| 14 | 25/02/15 | pp11 | Intro to Analysis |
| 15 | 02/03/15 | pp2--4 | Class Test |
| 16 | 04/03/15 | pp11 | More Counting Rules |
| 17 | 09/03/15 | pp11--12 | Counting Combinations |
| 18 | 11/03/15 | pp13 | Algorithm Complexity |
| 19 | 16/03/15 | pp13--14 | Sorting and Analysis |
| 20 | 18/03/15 | pp14 | Sorting and Induction |
| 21 | 23/03/15 | pp14 | Recursion |
| 22 | 25/03/15 | Proof | |
| 23 | 30/03/15 | Revision | |
| 24 | 01/04/15 | Class Test | |