Schedule

Week Date Subject Material
1 14-11 Introduction Chapter 0
  16-11 Propositional logic Chapter 1
2 21-11 Sets Chapter 2
  23-11 Boolean algebra Chapter 3
3 28-11 Predicate logic Chapter 4
  30-11 Proof strategies Chapter 5
4 05-12 Functions Chapter 6
  07-12 Relations Chapter 7
5 12-12 Inductive definitions Chapter 8
  14-12 Revision lecture  
6 18-12 Mid-term exam Chapters 0-7
  19-12 Proofs by induction Chapter 9
  21-12 Guest lecture: The Lean proof assistant  
7 09-01 Games Chapter 10
  11-01 Inductive relations & natural deduction Chapter 1-2 (lecture notes)
8 16-01 Operational semantics Chapter 3 (lecture notes)
  18-01 Hoare logic Chapter 3 (lecture notes)
9 23-01 Revision lecture  
  25-01 No lecture  
10 29-01 Final exam