The course is organized in four sections:

1. Foundations: sets, relations, functions, logic, syntax.
2. Operational semantics: inference rules, a simple imperative language, a simple functional langauge.
3. Axiomatic semantics
4. Denotational semantics

Each lecture has a set of notes, in the form of powerpoint slides (converted to PDF for easy printing) that are also available from the calendar for online viewing.