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 2001: 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 2002: 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 2002: Part IA lectures
    • Operating Systems
    • 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 2001: Part IB lectures
    • Computer Design
    • Concurrent Systems and Applications
    • Continuous Mathematics
    • Data Structures and Algorithms
    • Digital Electronics
    • ECAD
    • Group Project
    • Logic and Proof
    • Numerical Analysis I
    • Unix Tools
  • Lent Term 2002: Part IB lectures
    • Comparative Programming Languages
    • Compiler Construction
    • Computation Theory
    • Digital Communication I
    • Introduction to Security
    • Prolog for Artificial Intelligence
    • Semantics of Programming Languages
  • Easter Term 2002: Part IB lectures
    • Complexity Theory
    • Computer Graphics and Image Processing
    • Databases
    • Foundations of Functional Programming
    • Project Briefing I
  
  
• Part II of the Computer Science Tripos
  • Introduction
  • Michaelmas Term 2001: Part II lectures
    • Additional Topics
    • Advanced Algorithms
    • Advanced Graphics and HCI
    • Artificial Intelligence
    • Computer Systems Modelling
    • Denotational Semantics
    • Digital Communication II
    • Information Theory and Coding
    • Project Briefing II
    • Specification and Verification I
    • Types
    • VLSI Design
  • Lent Term 2002: Part II lectures
    • Additional Topics continued
    • Comparative Architectures
    • Natural Language Processing
    • Neural Computing
    • Numerical Analysis II
    • Optimising Compilers
    • Security
    • Specification and Verification I continued
    • Topics in Concurrency
  • Easter Term 2002: Part II lectures
    • Business Studies
    • Computer Vision
    • E-Commerce
    • Specification and Verification II
  
  
• Part II (General) of the Computer Science Tripos
  • Introduction
  • Long Vacation 2001: Part II (Gen) lectures
    • Foundations of Programming in Java
  • Michaelmas Term 2001: 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
    • Learning Day
    • Mathematics for Computation Theory
    • Numerical Analysis I
    • Operating System Foundations
  • Lent Term 2002: Part II (Gen) lectures
    • Comparative Programming Languages
    • Compiler Construction
    • Computation Theory
    • Digital Communication
    • Introduction to Functional Programming
    • Introduction to Security
    • Natural Language Processing
    • Numerical Analysis II
    • Prolog for Artificial Intelligence
    • Software Engineering I
    • Software Engineering II
  • Easter Term 2002: Part II (Gen) lectures
    • Business Studies
    • Complexity Theory
    • Computer Graphics and Image Processing
    • Computer Vision
    • Databases