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)
