Search

20 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Advanced Topics in Computer Systems. 2009–10. Principal lecturer: Dr Steven Hand. Taken by:Overview. This module will attempt to provide an overview of "systems research". This is a very

22 Oct 2009: evening with Guardian cartoonist Steve Bell, a talk on the secret language of music and a discussion of China’s economic power.

18 Jan 2009: Computer Laboratory. Course material 2007–08. ». ». ». Computer Science Part IB. 2007–08. Please check the official timetables for timetable details. Michaelmas term. Lent term. Easter term. 2008 Computer Laboratory, University of Cambridge.

6 May 2009: Computer Laboratory. Course material 2008–09. ». Probability. 2008–09. Principal lecturer: Dr Richard Gibbens. Taken by:Last changed 6 May 2009). 2009 Computer Laboratory, University of Cambridge. Please send any comments on this page to Dr

4 May 2009: Computer Laboratory. Course material 2008–09. ». Logic and Proof. 2008–09. Principal lecturer: Prof Larry Paulson. Taken by:for past exam questions (for supervisors and directors of studies only). A toy theorem-proved coded in ML:. 2009

13 Mar 2009: Computer Laboratory. Course material 2008–09. ». Computer Graphics and Image Processing. 2008—09. Principal lecturer: Prof Peter Robinson. Course material. 3MB). This is a new facility, so there aren't many questions and answers there yet.

13 Jan 2009: Computer Laboratory. Course material 2008–09. ». Operating Systems I. 2008–09. Principal lecturer: Dr Steven Hand. Taken by:Aims. The overall aim of this course is to provide a general understanding of how a computer works. This includes

5 Mar 2009: Computer Laboratory. Course material 2008–09. ». Advanced Graphics. 2008–09. Principal lecturer: Dr Alex Benton. Taken by:Past exam questions are in two different places: 98,99, 02, 03, 04, 05, 06, 07 and 00, 01. Lecture notes and source code.

17 Aug 2009: Computer Laboratory. Course material 2009–10. Algorithms II. 2009–10. Principal lecturer: Dr Timothy Griffin. Taken by:contact lecturer for access permission). If you are reading this then no extra material has yet been placed on the Web for

27 Aug 2009: Computer Laboratory. Course material 2009–10. ». Logic and Proof. 2009–10. Principal lecturer: Prof Larry Paulson. Taken by:solution notes for past exam questions) (contact lecturer for access permission). A toy theorem-proved coded in ML:.