Search

20 Sep 2007: Computer Laboratory. Course material 2007–08. ». ». Specification and Verification I. 2007–08. Principal lecturer: Prof Mike Gordon. Taken by:The web page for this course is here. 2007 Computer Laboratory, University of Cambridge. Please send

17 Oct 2007: Computer Laboratory. Course material 2007–08. ». ». Software Engineering and Design. 2007–08. Principal lecturer: Dr Alan Blackwell. Taken by:2.9 MB PDF file, 111 pages). 2007 Computer Laboratory, University of Cambridge. Please send any

26 Aug 2007: Computer Laboratory. Course material 2007–08. ». ». Group Project Briefing. 2007–08. Principal lecturer: Dr Alan Blackwell. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2007 Computer

26 Aug 2007: Computer Laboratory. Course material 2007–08. ». ». Artificial Intelligence II. 2007–08. Principal lecturer: Dr Sean Holden. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2007 Computer

26 Aug 2007: Computer Laboratory. Course material 2007–08. ». ». Denotational Semantics. 2007–08. Principal lecturer: Prof Glynn Winskel. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2007 Computer

27 Nov 2007: Computer Laboratory. Course material 2007–08. ». ». Business Studies. 2007–08. Principal lecturer: Mr Jack Lang. Taken by:Students are strongly recommended to enter the CU Entrepreneurs Business Ideas Competition. Lecture notes (all PowerPoint)

25 Feb 2007: The people in the know will say that the pipe is 'unzipping'.

28 Aug 2007: Computer Laboratory. Course material 2007–08. ». ». Foundations of Computer Science. 2007–08. Principal lecturer: Prof Larry Paulson. Taken by:Sample ML programs. Useful reference material. Full syntax of Standard ML. predefined identifiers:

5 Dec 2007: Computer Laboratory. Course material 2007–08. ». ». Data Structures and Algorithms. 2007-2008. Principal lecturer: Dr Frank Stajano. Taken by:requires Raven authentication). If you were a student for this course, please comment (anonymously) on

8 Feb 2007: assistance of the people listed on the hall of fame, who were smart enough to take the microchallenge when it made sense: the hall-of-famers might still have a copy

26 Aug 2007: Computer Laboratory. Course material 2007–08. ». ». Computer Perspectives. 2007–08. Principal lecturer: Mr Nigel Bailey. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2007 Computer

26 Aug 2007: Computer Laboratory. Course material 2007–08. ». ». Group Project. 2007–08. Principal lecturer: Dr Alan Blackwell. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2007 Computer Laboratory,

17 Oct 2007: Mr Eyole-Monono, whose PhD supervisor is Head of Department Professor Andy Hopper, has been developing a sensor technology to provide real-time indoor location information on people and objects.

15 Oct 2007: Pebbles: People and their Current Personal Workplans. Cambridge UK.

26 Aug 2007: Computer Laboratory. Course material 2007–08. ». ». How to Study Computer Science. 2007–08. Principal lecturer: Dr Neil Dodgson. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2007

28 Aug 2007: Computer Laboratory. Course material 2007–08. ». ». Logic and Proof. 2007–08. Principal lecturer: Prof Larry Paulson. Taken by:A toy theorem-proved coded in ML:. 2007 Computer Laboratory, University of Cambridge. Please send any comments on

26 Aug 2007: Computer Laboratory. Course material 2007–08. ». ». Business Studies Seminars. 2007–08. Principal lecturer: Mr Jack Lang. Taken by:If you are reading this then no extra material has yet been placed on the Web for this course. 2007 Computer

29 Nov 2007: Computer Laboratory. Course material 2007–08. ». ». Discrete Mathematics. 2007–08. Principal lecturer: Prof Glynn Winskel. Taken by:Here are the lecture notes (PDF, revised 29 November 2007). Here are PDF versions of the handwritten slides:.

15 Oct 2007: Computer Laboratory. Course material 2007–08. ». ». Digital Communication II. 2007–08. Principal lecturer: Dr Derek McAuley. Taken by:Here are the lecture notes (all PDF). 2007 Computer Laboratory, University of Cambridge. Please send any

30 Aug 2007: Computer Laboratory. Course material 2007–08. ». ». Operating System Foundations. 2007–08. Principal lecturer: Prof Jean Bacon. Taken by:An invariant is that it begins with an introduction to computer organisation (three-to-four lectures) to