Search

26 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Natural Language Processing. 2009–10. Principal lecturer: Dr Ann Copestake. Taken by:Some NLP and language related links:lecture 4). 2009 Computer Laboratory, University of Cambridge.

17 Aug 2009: Computer Laboratory. Course material 2009–10. Set Theory for Computer Science. 2009–10. 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. 2009 Computer

27 Apr 2009: teaching. Cambridge has a long and distinctive tradition in politics and international relations with particular emphasis, going back over a century, on historical, legal, economic and philosophical approaches to their study.

13 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Human-Computer Interaction. 2009–10. Principal lecturer: Dr Alan Blackwell. Taken by:Past exam questions:contact lecturer for access permission). Design Exercise: Critical Care for the

1 Dec 2009: Computer Laboratory. Course material 2009–10. ». ». ». Category Theory for Computer Science. 2009–10. Principal lecturer: Dr Bartosz Klin. Additional lecturer: Dr Marcelo Fiore. Taken by:Lecture slides. Lecture 1: definition of category,

1 Dec 2009: Computer Laboratory. Course material 2009–10. ». ». ». Basic Rewriting Theory. 2009–10. Principal lecturer: Dr Marcelo Fiore. Taken by:Reading material from Term Rewriting and All That:. Motivating Examples (Chapter 1). Equivalence and

2 Dec 2009: Group I. Paper 1. Economics. The paper will be examined through a three-hour written paper. ... Group IV. Paper 12. Law and economics. This paper is not offered in 2010.

27 Jan 2009: Computer Laboratory. Course material 2008–09. ». Software Design. 2008–09. Principal lecturer: Dr Alan Blackwell. Taken by:link to 13 MB PDF file). Official resource site for BlueJ book and downloads. Source code for BlueJ examples mentioned in

7 Oct 2009: 15 October. Peter Cook. (CO2CRC). Geological storage of CO2; lessons learned from Australia's CO2CRC Otway Project.

10 Mar 2009: Computer Laboratory. Course material 2008–09. ». Comparative Architectures. 2008–09. Principal lecturer: Dr Robert Mullins. Taken by:Introduction. This course provides an introduction to contemporary microprocessor design. It describes how it

5 Feb 2009: This is all the more remarkable as financial and economic concerns mounted during the year”.

21 Sep 2009: Computer Laboratory. Course material 2009–10. ». ». Digital Communication II. 2009–10. Principal lecturer: Prof Jon Crowcroft. Taken by:contact lecturer for access permission). Slides: for Course. 2009 Computer Laboratory, University of

27 Jan 2009: Many of the questions from pupils centred on appropriate subject choices for particular courses – such as law, medicine, economics and archaeology – while topics raised by parents touched on the comparability of

5 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». Digital Electronics. 2009–10. Principal lecturer: Dr Ian Wassell. Taken by:contact lecturer for access permission). Here are the notes (all PDF). 2009 Computer Laboratory, University of

17 Aug 2009: Computer Laboratory. Course material 2009–10. Topics in Concurrency. 2009–10. Principal lecturer: Prof Glynn Winskel. Taken by:contact lecturer for access permission). If you are reading this then no extra material has yet been placed on the Web

6 May 2009: Computer Laboratory. Course material 2008–09. ». Prolog. 2008–09. Principal lecturer: Dr David Eyers. Taken by:Prolog tick information. The tick sessions will take place in room FW09. The tick session times that people signed up for is

20 May 2009: Computer Laboratory. Course material 2008–09. ». Distributed Systems. 2008–09. Principal lecturer: Dr David Evans. Taken by:Course notes. The course come in two flavours. One is the batch that was submitted for printing and is what supervisors

22 Jan 2009: Computer Laboratory. Course material 2008–09. ». Bioinformatics. 2008-09. Principal lecturer: Dr Pietro Lio. Taken by:The immense growth of biological information stored in databases has led to a critical need for people who can understand the

17 Mar 2009: Computer Laboratory. Course material 2008–09. ». Information Retrieval. 2008–09. Principal lecturer: Dr Simone Teufel. Taken by:Correction in Handout (March 17, 2009): please substitute page 116 with pagerank table, corrected. Note: this is now

13 Aug 2009: office markets on economic stability.

9 Dec 2009: Computer Laboratory. Course material 2009–10. ». ». ». Specification and Verification I. 2009–10. Principal lecturer: Prof Mike Gordon. Taken by:2009 Computer Laboratory, University of Cambridge. Please send any comments on this page to Prof

7 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Group Project Briefing. 2009–10. Principal lecturer: Dr Alan Blackwell. Taken by:contact lecturer for access permission). Full information on the group project course is maintained in the

4 May 2009: Computer Laboratory. Course material 2008–09. ». Foundations of Computer Science. 2008–09. Principal lecturer: Prof Larry Paulson. Taken by:Please download the corrected version of Tick 6! We have installed an errata page where you can find

5 Jun 2009: Computer Laboratory. Course material 2008–09. ». Introduction to Security. 2008–09. Principal lecturer: Dr Markus Kuhn. Taken by:This 8-h lecture course takes you onto a quick tour through the basics of computer security and cryptography on

25 Nov 2009: Computer Laboratory. Course material 2009–10. Information Retrieval. 2009–10. Principal lecturer: Dr Stephen Clark. Taken by:contact lecturer for access permission). 2009 Computer Laboratory, University of Cambridge. Please send any comments on

25 Nov 2009: Computer Laboratory. Course material 2009–10. ». ». ». Business Studies. 2009–10. Principal lecturer: Mr Jack Lang. Taken by:contact chn2@cam for access permission). Here are the notes (all PowerPoint) and Examples (PDF):. 2009 Computer

7 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Denotational Semantics. 2009–10. Principal lecturer: Dr Marcelo Fiore. Taken by:Lecture slides. Part I. Part II. Feedback. Please provide feedback through the online lecture course

7 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Hardware Practical Classes. 2009–10. Principal lecturer: Dr Ian Wassell. Taken by:contact lecturer for access permission). The notes were last updated in 2007-2008. The workshops will be

25 Nov 2009: Computer Laboratory. Course material 2009–10. ». ». ». Foundations of Computer Science. 2009–10. Principal lecturer: Prof Larry Paulson. Taken by:Solution notes for past exam questions) (contact lecturer for access permission). Exercises for

22 May 2009: Computer Laboratory. Course material 2008–09. ». Artificial Intelligence I. 2008–09. Principal lecturer: Dr Mateja Jamnik. Taken by:Lecture notes ([for printing 4up)] [slides]):. Introduction to AI and agents: [Problem solving by search, games

21 Sep 2009: Computer Laboratory. Course material 2009–10. Optimising Compilers. 2009–10. Principal lecturer: Dr Arthur Norman. Taken by:contact lecturer for access permission). Further information:. a 1-page C program to convert arithmetic expressions into 3

22 Apr 2009: Computer Laboratory. Course material 2008–09. ». E-Commerce. 2008–09. Principal lecturer: Mr Jack Lang. Taken by:Lecture notes (mostly PowerPoint):. Frauds and Scams Examples Class. 2009 Computer Laboratory, University of Cambridge. Please send

19 Feb 2009: Computer Laboratory. Course material 2007–08. ». ». ». Index of courses by lecturer. 2007–08. Please check the official timetables for timetable details. Mr Nigel Bailey. Dr Keir Fraser. Dr Richard Jennings. Mr Jack Lang. Mr Richard Stibbs.

9 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Information Theory and Coding. 2009–10. Lecturer: Prof John Daugman. Prerequisite courses: Probability; Mathematical Methods for Computer Science. Number of lectures: 11 1 (Mon, Wed, Fri

9 Dec 2009: Computer Laboratory. Course material 2009–10. ». ». ». Specification and Verification II. 2009–10. Principal lecturer: Prof Mike Gordon. Taken by:2009 Computer Laboratory, University of Cambridge. Please send any comments on this page to

11 Mar 2009: Computer Laboratory. Course material 2008–09. ». Databases. 2008–09. Principal lecturer: Dr Timothy Griffin. Taken by:Lecture notes:. Lectures 1 and 2 : one slide per page, or two slides per page. Lectures 4, 5, and 6 : one slide per page, or

6 Feb 2009: Computer Laboratory. Course material 2008–09. ». Foundations of Functional Programming. 2008–09. Principal lecturer: Dr Matthew Parkinson. Taken by:The slides from the lectures can be found here: 1up and 4up [Corrections to printed version

18 Jan 2009: Computer Laboratory. Course material 2008–09. ».. Index of courses by lecturer. 2008–09. Please check the official timetables for timetable details. Software Engineering (Michaelmas). Dr Alex Benton. Advanced Graphics (Lent). Lent). Lent).

7 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Group Project. 2009–10. Principal lecturer: Dr Alan Blackwell. Taken by:contact lecturer for access permission). Full information on the group project course is maintained in the group

27 Apr 2009: Computer Laboratory. Course material 2008–09. ». Long Vacation Java course. 2008–09. Principal lecturer: Dr Frank King. Taken by: long vacation term students. Students and staff of Cambridge University may attend the July run of this course (13

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.

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

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.

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.

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

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

19 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». How to Study Computer Science. 2009–10. Principal lecturer: Prof Larry Paulson. Taken by:Web links to information on repetitive strain injury (RSI):. information to help disabled people

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.