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!

Session 1, 21st-22nd September

• Topic: Booleans and Truth Tables
• Lecture: notes, recording, slides
• Problem Class: worksheet, solutions

Session 2, 23rd-24th September

• Topic: Boolean algebra
• Material: notes, recording
• Problem Class: worksheet, solutions

Session 3, 28th-29th September

• Topic: Natural Deduction (pt 1)
• Material: notes, recording
• Problem Class: worksheet, solutions

Session 4, 30th-01st September/October

• Topic: Natural Deduction (pt 2)
• Material: notes, recording
• Problem Class: worksheet, solutions

Session 5, 5th-6th October

• Topic: Predicates and Quantifiers
• Material: notes, recording, slides
• Problem Class: worksheet, solutions

Session 6, 7th-8th October

• Topic: Predicate Logic and Proofs
• Material: notes, recording, slides
• Problem Class: worksheet, solutions

Session 7, 12th-13th October

• Topic: Set Theory (pt 1)
• Material: notes, recording, slides
• Problem Class: worksheet

Session 8, 14th-15th October

• Topic: Set Theory (pt 2)
• Material: notes
• Problem Class: worksheet