Search

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

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

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.

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

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.

12 Aug 2011: Course material 2010–11. Security I. Principal lecturer: Dr Markus Kuhn. Taken by:contact lecturer for access permission). This 12-h lecture course takes you onto a quick tour through the basics of computer security and cryptography on 2011

2 Feb 2011: Course material 2010–11. Discrete Mathematics I. Principal lecturer: Dr Sam Staton. Taken by:Past exam questions:This was a new course in 2008-9, so the previous Discrete Maths exam questions are mostly not relevant. Please see the 2009 and 2010