G54FOP Lecture Note Index
Autumn 2009
Autumn 2009: Incomplete, Currently Being Updated
This page will contain links to lecture notes for the lectures. Additionally,
all electronic material used during the lectures, in particular slides and any
major pieces of code will be available via this page. The slides are all in
PDF, and there are three versions available for each lecture. The basic
version is intended for on-screen viewing only, whereas the 4 up and 9 up
versions are mainly intended for printing, putting 4 and 9 slides respectively
on each page.
Lecture 1: Administrative Details and Introduction
24 September 2009
Lecture 2: Alphabets, Words, Languages; Introduction to Context-Free
Grammars
29 September 2009
Lecture 3: Context-Free Grammars, Derivation Trees, and Ambiguity
1 October 2009
Lecture 6: Introduction to Semantics
1 October 2009
Lecture 13: Untyped lambda-calculus: Operational Semantics
and Reduction Orders
5 November 2009
Lecture 14: Types and Type Systems I
10 November 2009
Lecture 15: Types and Type Systems II
12 November 2009
Lecture 16: Types and Type Systems III
17 November 2009
Last updated 17 November 2009.