Search

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

30 Jan 2009: economic hardship on parts of Africa and China.

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

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

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

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

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

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

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

22 Apr 2009: Financing E-commerce. Raising money. Valuation. Winners and losers. Futurology. Raising the Money. Family and Friends £10K. Bank loan £100K. Angels £250K. VCs £2M. IPO £20M. VC Criteria. Global sustainable under-served market need. Defensible

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.

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

21 May 2009: Computer Laboratory. Course material 2008–09. ». Additional Topics. 2008–09. Principal lecturer: Prof Andy Hopper. Taken by:Course Details. The lectures this year are 12:00-13:00 in Lecture Theatre 2 of the CL. Note that time of 10:00-11:00 as

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

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.

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

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

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

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.

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

13 Oct 2009: Computer Laboratory. Course material 2009–10. ». ». ». Registration. 2009–10. Principal lecturer: Dr Frank King. Taken by:Documents handed out at the Registration session on Thursday 8th October, and then at the start of the practical classes

12 May 2009: Computer Laboratory. Course material 2008–09. ». Part IB Assessed Exercise Briefing. 2008–09. Principal lecturer: Dr Steven Hand. Taken by:Overview. The purpose of this briefing lecture is to describe the IB Java Tick 0, an assessed exercise to

18 Feb 2009: Computer Laboratory. Course material 2008–09. ». Digital Communication I. 2008–09. Principal lecturer: Dr Andrew Moore. Taken by:The lecture foils are available here as a PDF. The second set of lecture foils are available here as a PDF (44

20 May 2009: Computer Laboratory. Course material 2008–09. ». Complexity Theory. 2008–09. Principal lecturer: Dr Timothy Griffin. Taken by:Lecture notes : complexity2009.pdf. Lecture slides :. Lectures 1 to 6: one slide per page or two slides per page.

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.

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

2 May 2009: Computer Laboratory. Course material 2008–09. ». Algorithms I. 2008–09. Principal lecturer: Dr Frank Stajano. Taken by:Past exam questions. Past exam questions can be found under Algorithms but also, for historical reasons, under Data

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

23 Feb 2009: Computer Laboratory. Course material 2008–09. ». Advanced Systems Topics. 2008–09. Principal lecturer: Dr Steven Hand. Taken by:Internet Routing Protocols. Lecturer: Dr Timothy G. Griffin. Internet routing protocols from a distributed systems

21 Apr 2009: Computer Laboratory. Course material 2008–09. ». Programming in C and C++. 2008–09. Principal lecturer: Dr Andrew Moore. Taken by:The lecture foils are available here as a PDF (23MB). A 1-up version of the lecture foils is available here as a

23 Sep 2009: Computer Laboratory. Course material 2009–10. ». ». Unix Tools. 2009–10. Principal lecturer: Dr Markus Kuhn. Taken by:This non-examinable 10-h lecture course takes you onto a quick tour through a few important and highly useful Unix

13 Mar 2009: Computer Laboratory. Course material 2008–09. ». Computer Vision. 2008–09. Lecturer: Dr John Daugman. Prerequisite course: Mathematical Methods for CS; Probability. Aims. The aims of this course are to introduce the principles, models and

4 Mar 2009: Computer Laboratory. Course material 2008–09. ». Concepts in Programming Languages. 2008–09. Principal lecturer: Dr Marcelo Fiore. Taken by:Lecture slides. Introduction and motivation. Additional reading material:. The first procedural language:

11 Mar 2009: Computer Laboratory. Course material 2008–09. ». Programming Methods. 2008–09. Principal lecturer: Dr Robert Harle. Taken by:Syllabus. The syllabus was written before I had a good understanding of the programming level of the students (and,

6 May 2009: Computer Laboratory. Course material 2008–09. ». Prolog. 2008–09. Prolog tick timetable. The tick sessions will take place in room FW09. Time. Thursday 7th May. Friday 8th May. 13:00:00. adt33. prc33. 13:07:30. sr428. 13:15:00. awk28. rgd27.

13 Mar 2009: Computer Laboratory. Course material 2008–09. ». Video clips. The videos shown before and during lectures were:. Mortal Combat from The Golden Compass (New Line Cinema, 2008). Oscar-winning special effects including animation of fur by one of the

9 Feb 2009: Computer Laboratory. Course material 2008–09. ». Continuous ARQ (TCP) adapting to congestion. This video shows the (windowing) continuous ARQ mechanism employed by TCP adapting to congestion. ARQ can be used to ensure reliable delivery of data;

24 Apr 2009: Computer Laboratory. Course material 2008–09. ». C and C++ submissions to date. for Programming in C and C++. 2008–09. Note that you are responsible for a working submission (as per the assessed-exercise instructions). There is no automated