### 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.