Contents

• Part IA of the Computer Science Tripos
  • Introduction
    • Entry to the three-year Computer Science Tripos
    • Computer Science Tripos Part IA (50% option)
    • Computer Science Tripos Part IA (25% option)
    • Mathematical Tripos Part IA (Computer Science option)
    • The curriculum
  • Michaelmas Term 2002: Part IA lectures
    • Computer Perspectives (50% option only)
    • Digital Electronics (50% option only)
    • Discrete Mathematics
    • Foundations of Computer Science
    • Help Sessions
    • Learning Day
    • Professional Practice and Ethics (50% option only)
  • Lent Term 2003: Part IA lectures
    • Discrete Mathematics continued
    • Probability (50% option only)
    • Programming in Java
    • Software Engineering I (50% option only)
    • Software Engineering II (50% option only)
  • Easter Term 2003: Part IA lectures
    • Operating Systems I
    • Regular Languages and Finite Automata (50% option only)
    • Structured Hardware Design (50% option only)
  • Preparatory Reading List
  
  
• Part IB of the Computer Science Tripos
  • Introduction
  • Michaelmas Term 2002: Part IB lectures
    • Computer Design
    • Concurrent Systems and Applications
    • Continuous Mathematics
    • Data Structures and Algorithms
    • Digital Electronics
    • ECAD
    • Economics and Law
    • Group Project
    • Logic and Proof
    • Numerical Analysis I
    • Unix Tools
  • Lent Term 2003: Part IB lectures
    • Artificial Intelligence I
    • Comparative Programming Languages
    • Compiler Construction
    • Complexity Theory
    • Computation Theory
    • Computer Graphics and Image Processing
    • Digital Communication I
    • Introduction to Security
    • Operating Systems II
  • Easter Term 2003: Part IB lectures
    • Computer Graphics and Image Processing
    • Databases
    • Foundations of Functional Programming
    • Project Briefing I
    • Semantics of Programming Languages
  
  
• Part II of the Computer Science Tripos
  • Introduction
  • Michaelmas Term 2002: Part II lectures
    • Additional Topics
    • Advanced Graphics
    • Artificial Intelligence II
    • Computer Systems Modelling
    • Denotational Semantics
    • Digital Communication II
    • Human-Computer Interaction
    • Project Briefing II
    • Specification and Verification I
    • Types
    • VLSI Design
  • Lent Term 2003: Part II lectures
    • Additional Topics continued
    • Advanced Systems Topics
    • Comparative Architectures
    • Information Retrieval
    • Information Theory and Coding
    • Natural Language Processing
    • Numerical Analysis II
    • Optimising Compilers
    • Security
    • Topics in Concurrency
  • Easter Term 2003: Part II lectures
    • Business Studies
    • Database Theory
    • Distributed Systems
    • E-Commerce
    • Specification and Verification II
  
  
• Part II (General) of the Computer Science Tripos
  • Introduction
  • Long Vacation 2002: Part II (Gen) lectures
    • Foundations of Programming in Java
  • Michaelmas Term 2002: Part II (Gen) lectures
    • Computer Design
    • Continuous Mathematics
    • Data Structures and Algorithms
    • Digital Electronics
    • Elementary Use of the Unix Teaching Service
    • Group Project
    • Introduction to Algorithms
    • Java Case Study
    • Learning Day
    • Mathematics for Computation Theory
    • Numerical Analysis I
    • Operating System Foundations
    • Software Engineering and Design
  • Lent Term 2003: Part II (Gen) lectures
    • Artificial Intelligence I
    • Comparative Programming Languages
    • Compiler Construction
    • Complexity Theory
    • Computation Theory
    • Computer Graphics and Image Processing
    • Digital Communication
    • Introduction to Functional Programming
    • Introduction to Security
    • Natural Language Processing
    • Numerical Analysis II
  • Easter Term 2003: Part II (Gen) lectures
    • Business Studies
    • Computer Graphics and Image Processing
    • Databases
    • Distributed Systems