Week 
Lecture 1 
Lecture 2 
1 
Introduction to CS1112 
Introduction to Algorithms 
2 
An Introduction to Sets 
More about Sets 
3 
More about Sets (continued) 
An Introduction to Functions 
4 
More about Functions 
An Introduction to Relations 
5 
Properties of Relations 
Single Set Relations 
6 
Order Relations 
Intro to Logic 
7 
Revision 
InClass Test 1 
8 
Bank Holiday 
Compound Statements 
9 
Structure of Logical Statements 
Logical Equivalence and Satisfiabilty 
10 
No Lecture
 Logical Arguments 
11 
More on Logical Arguments 
Revision

12 
Revision 
InClass Test 2 