Welcome

These are the lecture notes for a course at the University of Warwick by Steve Butterfill and Richard Moore.

The link to join the classes (Mondays 2-4pm in Weeks 1-5 and 7-10 of Term 2, 2020-1) is the same every week:

teams link to join classes

There is also a channel we may use occasionally in the classes if we want to work on shared documents:

teams channel

For Steve’s part of the course there is a:

glossary

handout for all of Steve’s parts