1 
1411 
Introduction 
Chapter 0 

1611 
Propositional logic 
Chapter 1 
2 
2111 
Sets 
Chapter 2 

2311 
Boolean algebra 
Chapter 3 
3 
2811 
Predicate logic 
Chapter 4 

3011 
Proof strategies 
Chapter 5 
4 
0512 
Functions 
Chapter 6 

0712 
Relations 
Chapter 7 
5 
1212 
Inductive definitions 
Chapter 8 

1412 
Revision lecture 

6 
1812 
Midterm exam 
Chapters 07 

1912 
Proofs by induction 
Chapter 9 

2112 
Guest lecture: The Lean proof assistant 

7 
0901 
Games 
Chapter 10 

1101 
Inductive relations & natural deduction 
Chapter 12 (lecture notes) 
8 
1601 
Operational semantics 
Chapter 3 (lecture notes) 

1801 
Hoare logic 
Chapter 3 (lecture notes) 
9 
2301 
Revision lecture 


2501 
No lecture 

10 
2901 
Final exam 
