Good working knowledge of first-order logic is required. Familiarity with type-logical semantics will be convenient for some parts of the course. Ideally, students have already taken Structures for Semantics, though this is not strictly necessary.
The lecture notes for the first part of the course (including exercises) can be downloaded here.
Assignments and grading
There will be five homework assignments, each of which will make up 20% of the grade. For some of the assignments it may be useful to make use of the latex template available here.