Search

1 Apr 2011: Course material 2010–11. Regular Languages and Finite Automata. Principal lecturer: Dr Marcelo Fiore. Taken by:Further resources. Alley Stoughton's Forlan tools for experimenting with formal languages within Standard ML. Russ Cox's article Regular

4 Mar 2011: Course material 2010–11. Semantics of Programming Languages. 2010–11. Principal lecturer: Dr Sam Staton. Taken by:There are comments in the notes about the relevance of older questions.). Model implementations of the languages. L1.pl (in Prolog),

11 Mar 2011: Course material 2010–11. Syntax and Semantics of Natural Language. Principal lecturers:Taken by:Stephen Clark's Lectures:. See also the video lecture on statistical parsing with CCG. Ted Briscoe's Handouts:. Handout 3 (distributed in class):

28 Jan 2011: Course material 2010–11. Mobile and Sensor Systems. Principal lecturer: Dr Cecilia Mascolo. Taken by:contact lecturer for access permission). More information on the course here. 2011 Computer Laboratory, University of Cambridge. Information

5 Mar 2011: Course material 2010–11. Computer Networking. Principal lecturer: Dr Andrew Moore. Taken by:this is automatically generated so not perfect). Information for supervisors (contact awm22 for access permission - please include your position/webpage,

4 Mar 2011: Course material 2010–11. Lexical Semantics and Discourse Processing. Principal lecturer: Dr Simone Teufel. Taken by:Lecture Notes:. Lecture 1 (21/1): Introduction to Lexical Semantics Reading: Cruse, chapters 12. Lecture 2 (26/1): Word Senses ;

1 Jun 2011: Course material 2010–11. System-on-Chip Design. Principal lecturer: Dr David Greaves. Taken by:Past exam questions:. some are relevant). (VLSI Design) (not highly-relevant). Information for supervisors (contact lecturer for access permission). I

22 Jun 2011: Course material 2010–11. Interactive Formal Verification. Principal lecturer: Dr Tjark Weber. Convenor: Prof Mike Gordon. Taken by:Slides 1. Operational Semantics 9. Structured Induction Proofs Guest Lecture: Automated Theorem Proving 12.

26 Jan 2011: Course material 2010–11. Information Retrieval. Principal lecturer: Dr Simone Teufel. Taken by:Lecture Notes:. Lecture 1 (Introduction). Lecture 3 (IR evaluation). Lectures 5-8 (IR, QA, Summariation). Information for supervisors (contact lecturer

3 Jan 2011: Course material 2010–11. Prolog. Principal lecturer: Dr David Eyers. Taken by:Prolog tick information. The tick exercise PDF is available. The current authoritative version of this document carries "10th November 2010" on its first page. Before

28 Feb 2011: Course material 2010–11. Compiler Construction. Principal lecturer: Dr Timothy Griffin. Taken by:There is nothing here. ---tim). Here are various items for the 2010/11 version of this course:. Exercises. 2009 exercises : exercises_2009.txt. 2010

15 Mar 2011: Course material 2010–11. Artificial Intelligence II. Principal lecturer: Dr Sean Holden. Taken by:contact lecturer for access permission). Course notes - full size, black background as in lectures. Course notes - handout version and large print

20 Jul 2011: Candidates may not offer the dissertation with significantly overlapping material with the submitted essays, and the topics for the extended essays must fall within the syllabus, rather than the scope, of ... Regulation 8. By replacing in line 5 the word

3 Mar 2011: Course material 2010–11. E-Commerce. Principal lecturer: Mr Jack Lang. Taken by:Past exam questions:Notes and exercises (mostly PowerPoint):. 2011 Computer Laboratory, University of Cambridge. Information provided by pagemaster@cl.cam.ac.uk.

21 Jan 2011: Course material 2010–11. Hoare Logic. Principal lecturer: Prof Mike Gordon. Taken by:2011 Computer Laboratory, University of Cambridge. Information provided by Prof Mike Gordon.

17 Jan 2011: Course material 2010–11. Probability. Principal lecturer: Dr Richard Gibbens. Taken by:contact lecturer for access permission). 2011 Computer Laboratory, University of Cambridge. Information provided by Dr Richard Gibbens.

17 Mar 2011: Course material 2010–11. Concurrent and Distributed Systems II. Principal lecturer: Dr David Evans. Taken by:Past exam questions:Here are PDFs of the course notes. The version sent for printing has issues with arrows and some diagrams, so here is

3 Mar 2011: Course material 2010–11. Discrete Mathematics II. Principal lecturer: Prof Glynn Winskel. Taken by:Past exam questions:contact lecturer for access permission). Here are PDF versions of. 2011 Computer Laboratory, University of Cambridge.

16 Feb 2011: Course material 2010–11. Computation Theory. Principal lecturer: Prof Anuj Dawar. Taken by:Past exam questions:. Feedback: Please complete the lecturea poetic proof of the undecidability of the halting problem in the style of Dr Seuss by Geoffrey K

5 Oct 2011: Course material 2010–11. Advanced Topics in Computer Systems. Principal lecturer: Dr Steven Hand. Taken by:Overview. This module will attempt to provide an overview of "systems research". This is a very broad field which has existed for over 40