Lectures
- Week 1: Introduction
- Week 2: Predicate Logic
- Week 3: Type Theory
- Week 4: Lambda Calculus
- Week 5: Generalized Quantifiers
- Week 6: No lecture (exercise discussion)
- Week 7: Lexical Semantics: Verbs, Events & Roles
- Week 8: Lexical Semantics: Nouns & Plurals
- Week 9: Dynamic Semantics & Discourse Representation Theory
- Week 10: DRT: Interpretation and Composition
- Week 11: Presuppositions
- Week 12: Current Issues in Semantic Theory