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)
