Unit materials

This page will be updated regularly once term has started.

All materials for the unit are hosted here. Files linked to on this page will require you to log in with your university username and password. Just click the link and you will be redirected to a login page, please check it starts with login.microsoftonline.com before entering any personal details!

See the schedule page for information on how best to plan and study for each session.

Logic and Proofs

Session 1, 22-23 September

• Topic: Booleans and Truth Tables
• Lecture notes
• Whiteboard
• Recording
• Worksheet
• Solutions

Session 2, 24-25 September

• Topic: Satisfiability, Validity, Entailment, and Equivalence
• Lecture notes
• Whiteboard
• Recording
• Worksheet
• Solutions

Session 3, 29-30 September

• Topic: Natural Deduction
• Lecture notes
• Whiteboard
• Recording
• Worksheet
• Solutions

Session 3 cont., 01-02 October

• Topic: Natural Deduction (cont.)
• Lecture notes
• Whiteboard
• Recording
• Worksheet
• Solutions

Session 4, 06-07 October

• Topic: Predicates and Quantifiers
• Lecture notes
• Whiteboard
• Recording
• Worksheet
• Solutions

Session 5, 08-09 October

• Topic: Natural Deduction for Quantifiers
• Lecture notes
• Recording
• Worksheet
• Solutions

Session 6: 13-14 October

• Topic: Informal Proofs
• Lecture notes
• Whiteboard
• Recording
• Worksheet
• Solutions

Session 7: 15-16 October

• Topic: Induction
• Lecture notes
• Recording
• Worksheet
• Solutions

Sets, Functions, and Relations

Session 9, 20-21 October

• Topic: Set Theory
• Lecture notes
• Lecture slides
• Recording
• Worksheet
• Solutions

  Session 10, 22-23 October

• Topic: Set Theory
• Lecture notes
• Lecture slides
• Recording
• Worksheet
• Solutions

  Probability