Search

27 May 2014: Course pages 2013–14. Economics, Law and Ethics. Principal lecturer: Prof Ross Anderson. ... This course aims to give students an introduction to some basic concepts in economics, law and ethics.

9 Oct 2014: Introduction. This is a course on optimization problems that are posed over time. ... Ther are applications of this course in science, economics and engineering (e.g., "insects as optimizers", "planning for retirement", "finding a parking space",

12 Nov 2014: Darwin College;. Where is asks 'Course name' put the name of the course you will be studying eg Economics. ... Course:. Must be a full standalone doctoral course (not a top-up course).

27 May 2014: I got roped into teaching this course because of my interest in the interaction between economics and information security.). ... Intellectual property. The course title economics and law' also refers to the academic discipline whose subject matter

15 Sep 2014: A web page for the 2012 course home page is also still available. ... Applications of this course are to be found in science, economics and engineering (e.g., "insects as optimizers", "planning for retirement", "finding a parking space", "optimal

27 May 2014: No. of lectures: 10. Suggested hours of supervisions: 0-1 (non-examinable course with exercises). ... This non-examinable course provides students with basic Unix/Linux experience and some important practical skills in using the Unix shell as an

17 Mar 2014: Course pages 2013–14. Semantics of Programming Languages. Principal lecturer: Prof Peter Sewell. ... This course is a prerequisite for the Part II courses Topics in Concurrency, and Types.

17 Mar 2014: The aim of this course is to introduce key concepts and principles of computer networks. ... The course will use a top-down approach to study the Internet and its protocol stack.

17 Mar 2014: Course pages 2013–14. Prolog. Principal lecturers:Taken by:contact lecturer for access permission). ... The aim of this course is to introduce programming in the Prolog language.

22 Jan 2014: This course is a prerequisite for the Part II courses Artificial Intelligence II, Hoare Logic, Temporal Logic and Natural Language Processing. ... At the end of the course students should. be able to manipulate logical formulas accurately;.

17 Mar 2014: Prerequisite courses: Algorithms I. This course is a prerequisite for: Computer Graphics and Image Processing, Complexity Theory, Artificial Intelligence I and II. ... At the end of the course students should. have a good understanding of how several

17 Mar 2014: Course pages 2013–14. Programming in C and C++. Principal lecturer: Prof Alan Mycroft. ... At the end of the course students should. be able to read and write C and C++ programs;.

27 May 2014: This course covers some essential computer-security techniques, focussing mainly on private-key cryptography, discretionary access control and common software vulnerabilities. ... By the end of the course students should. be familiar with core security

22 Jan 2014: Suggested hours of supervision: 2 (example classes if requested). Prerequisite courses: Business Studies, Security, Economics and Law. ... This course aims to give students an outline of the issues involved in setting up an e-commerce site.

27 May 2014: Suggested hours of supervisions: 4. Prerequisite courses: Security I, Probability, Economics and Law, Operating Systems, Computer Networking, Principles of Communications, Complexity Theory. ... This course aims to give students a thorough understanding

20 Dec 2014: Prerequisite course: Discrete Mathematics. This course is a prerequisite for Complexity Theory (Part IB), Quantum Computing (Part II). ... At the end of the course students should. be familiar with the register machine, Turing machine and

22 Jan 2014: Prerequisite course: Economics and Law. This course is a prerequisite for E-Commerce. ... For additional reading on a lecture-by-lecture basis, please see the course website.

17 Mar 2014: The aim of the course is to cover the fundamentals of databases as seen from the perspective of application writers. ... McGraw-Hill (4th ed.). Ullman, J. & Widom, J. (1997). A first course in database systems.

17 Mar 2014: The aim of the course is to introduce the theory of computational complexity. ... At the end of the course students should. be able to analyse practical problems and classify them according to their complexity;.

17 Mar 2014: This course is a prerequisite for the Part II courses Artificial Intelligence II and Natural Language Processing. ... Assessment of agents. What does this course cover, and what is left out?

17 Mar 2014: Course pages 2013–14. Computer Graphics and Image Processing. Principal lecturer: Prof Peter Robinson. ... Prerequisite courses: Algorithms. This course is a prerequisite for Advanced Graphics (Part II).

17 Mar 2014: Course pages 2013–14. Mathematical Methods for Computer Science. Principal lecturers:Taken by: Part IB. ... The aims of this course are to introduce and develop mathematical methods that are key to many applications in Computer Science.

7 Oct 2014: Course material 2009–10. Automated Reasoning. 2009–10. Principal lecturer: Dr Mateja Jamnik.

17 Mar 2014: This course aims to cover the main technologies associated with implementing programming languages, viz. ... Addison-Wesley (2nd ed.). Bennett, J.P. (1990). Introduction to compiling techniques: a first course using ANSI C, LEX and YACC.

17 Mar 2014: Course pages 2013–14. Concepts in Programming Languages. Principal lecturer: Prof Marcelo Fiore. ... At the end of the course students should. be familiar with several language paradigms and how they relate to different application domains;.

17 Mar 2014: Course pages 2013–14. Concurrent and Distributed Systems. Principal lecturer: Dr Robert Watson. ... This course is a pre-requisite for Mobile and Sensor Systems (Part II).

17 Mar 2014: Suggested hours of supervisions: 5. Prerequisite course: Digital Electronics. Companion course: Electronic Computer Aided Design (ECAD). ... This course is a prerequisite for the Part II courses Comparative Architectures and System-on-Chip Design.

22 Jan 2014: Course pages 2013–14. Computer Graphics and Image Processing. Programming Environment for Practical Exercises.

21 Apr 2014: Course pages 2013–14. Computer Networking Hands-on material. While this subject has no formal practicals there is considerable merit in learning by doing.

22 Jan 2014: Course pages 2013–14. Computer Graphics and Image Processing. Video clips. The videos shown before and during lectures were:.

21 Apr 2014: Course pages 2013–14. Computer Networking. 2013-14 Lecture Notes. Topic 1 Introduction / FoundationUpdated: 2014-1-17.

5 Feb 2014: Course pages 2013–14. Semantics of Programming Languages. Here are the notes (andare still available.

1 May 2014: Course pages 2013–14. Artificial Intelligence I. Lecture notes as slides in colour and monochrome. ... Old exam questions that remain relevant to this course. 2014 Computer Laboratory, University of Cambridge.

20 Dec 2014: Course pages 2013–14. Computation Theory. pdf]. Slides [pdf]:. Past exam questions:. ... Since 2009, the last three lectures of this course have incorporated some material from a Part IB course on Foundations of Functional Programming that is no longer

27 May 2014: Course pages 2013–14. Security I. Study materials. ... Retired slides – additional material covered in previous incarnations of this course (some of which to be covered from next year in Security II).

22 Jan 2014: Course pages 2013–14. Logic and Proof. PDF).

22 Jan 2014: Course pages 2013–14. Mathematical Methods for Computer Science. last revised 15 Oct 2013).

22 Jan 2014: Course pages 2013–14. Prolog. Course materials this year are available on the dedicated site,. ... If you experience problems with the site, please email one of the course lecturers.

21 May 2014: Course pages 2013–14. Complexity Theory. Slides. Suggested Exercises. Note: these exercises are intended to explore in further detail some issues raised in the lectures, and encourage you to extend further

22 Jan 2014: Course pages 2013–14. Computer Design. Course Handout. The lecture notes are available as a PDF to those in Cambridge. ... Laboratories. There are laboratory sessions associated with this course called ECADArch.

27 May 2014: Course pages 2013–14. Unix Tools. Study materials. All in PDF for easy printing:. ... Tools Source Code:– a periodic posting by Tom Christiansen toMost of the tools discussed in the course can be explored and used on the MCS Linux installation in the

22 Jan 2014: Course pages 2013–14. Computer Graphics and Image Processing. Course material. ... Graphics course at the Technion including several applets.

6 Mar 2014: Course pages 2013–14. Compiler Construction. Lecture Slides :. Lectures 1-4. One-slide per page: cc2014_L1_to_L4.pdf.

10 Feb 2014: Course pages 2013–14. Databases. Never forget to ask What problem am I solving?

7 Mar 2014: There are eight handouts available for the first part of the course (Concurrent Systems):. ... Distributed Systems (Lent term). There are four handouts available for the second part of the course (Distributed Systems); further slide decks will follow

22 Jan 2014: Course pages 2013–14. Programming in C and C++. Lecture slides and exercise sheet (as printed). ... Nick Maclaren's C++ course (Computing Service). Nick's Programming in Modern C++ detailed materials.

28 May 2014: If you want to be a supervisor for this course, first of all thank you. ... Note that from this year we'll be using the Otter system for this course.

30 Jul 2014: Fundamentals of environmental economics. Course-work. Teaching to take place in Lent 2015. ... Course-work. 4E4. Management of technology. Course-work. 4E5. International business economics. Course-work.

12 May 2014: Course pages 2013–14. Concepts in Programming Languages. Handouts.

22 Jan 2014: Course pages 2013–14. Computer Graphics and Image Processing. Supervision work. The lecturers recommend that supervisors set work following this pattern. ... Textbook references. Textbook references are provided for those who want to read more about