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 Graphs in Computer Science Paths in Graphs
5 Shortest Paths Postponed to after Easter Break
6 Circuits in Graphs In Class Test 1 (20/02/2018)
7 Trees Algorithm Analysis & Counting Rules
8 Counting Combinations Algorithm Complexity
9 Sorting and Analysis Sorting and Induction
10 Bank Holiday In Class Test 2 (20/03/2018)
Easter Break
11 Recursion Proof
12 Revision (no slides) Revision (no slides)