Schedule

Week Date Subject Material  
1 10-11 Introduction - slides Chapter 0  
  12-11 Propositions - slides Chapter 1  
2 17-11 Sets - slides Chapter 2  
  18-11 Mini-exam - Chapter 1 & 2    
  19-11 Boolean algebra - slides Chapter 3  
3 24-11 Predicate logic - slides Chapter 4  
  25-11 Mini-exam - Chapter 3 & 4    
  26-11 Proof strategies - slides Chapter 5  
4 1-12 Revision lecture - slides    
  3-12 Midterm exam – no lecture Chapters 0-5  
5 8-12 Functions - slides Chapter 6  
  9-12 Mini-exam - Chapter 5 & 6    
  10-12 Relations - slides Chapter 7 and supporting notes  
6 15-12 Inductive definitions - slides Chapter 8  
  16-12 Mini-exam - Chapter 7 & 8    
  17-12 Proofs by induction - slides Chapter 9  
7 12-01 Games - slides Chapter 10  
  13-01 Mini-exam - Chapter 9 & 10    
  14-01 Transition systems - slides Chapter 11  
8 19-01 Inductive relations and natural deduction - slides Chapter 1-2 - lecture notes  
  20-01 Mini-exam - Chapter 11 & inductive relations    
  21-01 Operational semantics & Hoare logic- slides Chapter 3 - lecture notes  
9 26-01 More Hoare logic & semantics - more slides    
  27-01 Mini-exam - natural deduction & Hoare logic    
  28-01 Revision lectur - slides    
10 04-02 Final exam    

This schedule is still subject to change and is probably full of typos.