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 4, 01-02 October

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

Session 5, 06-07 October

• Topic: Predicates and Quantifiers
• Lecture notes
• Worksheet

Sets, Functions, and Relations

Probability