Search

19 Jan 2011: Course material 2010–11. Programming Logics and Software Verification. Convenor: Prof Mike Gordon.

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:.

19 May 2011: Economics and Law Summary. 1. Prisoners’ dilemma. Two prisoners are arrested on suspicion of planning a robbery. ... Utility increases with square of users. Standards. Timescale. Moore’s Law. Untimely Publication.

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:.

14 Jan 2011: Timing critical circuits and bus interfacing (1L1P). On-chip networks: implementation and analysis (1L1P). ... software simulation. Coursework. Complete the laboratory material and submit a portfolio of work.

4 Mar 2011: L2 (in ML). Moscow ML, Java and SWI Prolog are installed on the Intel PWF machines. ... The book Types and Programming Languages is freely accessible in electronic form from within Cambridge.

28 Jan 2011: Course material 2010–11. Mobile and Sensor Systems. Principal lecturer: Dr Cecilia Mascolo.

5 Mar 2011: Trivia: LINX (London IXP) is the worlds largest IXP by traffic, customers, and peerings). ... You may wish to open two browsers: one for the movie and one for the notes.

17 Nov 2011: Algorithms and problems. Complexity of algorithms and of problems. Lower and upper bounds. ... Time complexity. Time complexity classes. Polynomial time problems and algorithms. P and NP.

4 Mar 2011: Course material 2010–11. Lexical Semantics and Discourse Processing. Principal lecturer: Dr Simone Teufel. ... Reading: J and M chapter 19.4 andFrame Semantics and Semantic Role Labelling.

1 Jun 2011: Try-it-yourself: Toy Classes RTL and TLM-1 style experiments (on PWF linux - check 'thisyears-toyclasses' folder). ... Try-it-yourself: TLM experiments using TLM2.0 standard and OR1K CPU (zip).

17 Nov 2011: Propositional logic. Basic syntax and semantics. Equivalences. Normal forms. Tautology checking using CNF. ... Prenex normal form. Skolemisation. Herbrand models and their properties. Unification. Composition of substitutions.

17 Nov 2011: A partial function is partial recursive if and only if it is computable. ... understand the notion of coding programs as data, and of a universal machine;.