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 Simple Algorithms
4 Revision of Predicate Logic Graphs in Computer Science
5 Paths in Graphs Shortest Paths
6 Circuits in Graphs Trees
7 Algorithm Analysis & Counting Rules Counting Combinations
8 Algorithm Complexity Algorithm Complexity (continued)
9 Algorithm Complexity (continued) In Class Test 1 (15/3/2019)
10 Sorting and Analysis Sorting and Induction
11 Recursion Proof
12 Revision (no slides) In Class Test 2 (5/4/2019)