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
Session 2, 23rd-24th September
Session 3, 28th-29th September
- Topic: Natural Deduction (pt 1)
Session 4, 30th-01st September/October
- Topic: Natural Deduction (pt 2)