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 
Circuits in Graphs 
6 
Trees 
Algorithm Analysis & Counting Rules 
7 
InClass Test
 More Counting Rules 
8 
No Lecture
 Counting Combinations 
9 
Algorithm Complexity 
Sorting and Analysis 
10 
Sorting and Industion 
Recursion 
11 
Proof 
Revision 
12 
Revision
 In Class Test
