Search

15 Mar 2011: Course material 2010–11. Topics in Logic and Complexity. Principal lecturer: Prof Anuj Dawar.

28 Jan 2011: Taken by:Exercises. Agda. The Agda language is available here and is already installed on the MPhil machines. ... I will put sample source code and exercises in this directory.

23 May 2011: Grabowski (pp. 45-62). 1.4 Human Cognition and Programming - T. Ormerod (pp. ... Gilmore (pp. 83-98). Part 2 Language Design and Acquisition of Programming (introduction).

29 Mar 2011: This material was skipped in the lectures, and it will not be examined this year.

28 Jan 2011: Course material 2010–11. Social and Technological Network Analysis. Principal lecturer: Dr Cecilia Mascolo.

7 Feb 2011: Lecture 5: Decoding with Phrase-Based Models. Adria de Gispert's Lectures and Practicals:.

29 Nov 2011: RE02 Real estate development (Michaelmas Term). EP01 Ecological economics and environmental evaluation (Michaelmas Term). ... EP02 Environmental and resource economics (Michaelmas Term). EP03 Fundamentals of environmental law and regulation (Michaelmas

17 May 2011: Course material 2010–11. Advanced Data Flow Analysis. Principal lecturers: Prof Alan Mycroft, Prof Uday P Khedker. Taken by:Further information:. Undergraduate (Part II) web page on Optimising Compilers (additional, non-examinable, material).

1 Apr 2011: Course material 2010–11. Regular Languages and Finite Automata. Principal lecturer: Dr Marcelo Fiore. ... Summary: "Regular expression matching can be simple and fast, using finite automata-based techniques that have been known for decades.

11 Mar 2011: Course material 2010–11. Syntax and Semantics of Natural Language. Principal lecturers:Taken by:Stephen Clark's Lectures:. ... Handout 3 (distributed in class): Generalized Quantifiers and Scope Underspecification. Assessed Assignments:.