Next:
Introduction
Up:
Computer Science Tripos Syllabus
Previous:
Foundations of Functional Programming
 
Contents
Part II of the Computer Science Tripos
Subsections
Introduction
Michaelmas Term 2003: Part II lectures
Advanced Graphics
Artificial Intelligence II
Computer Systems Modelling
Denotational Semantics
Digital Communication II
Human-Computer Interaction
Information Theory and Coding
Security
Specification and Verification I
Types
VLSI Design
Lent Term 2004: Part II lectures
Additional Topics
Advanced Systems Topics
Comparative Architectures
Computer Vision
Database Theory
Information Retrieval
Natural Language Processing
Numerical Analysis II
Optimising Compilers
Quantum Computing
Topics in Concurrency
Easter Term 2004: Part II lectures
Business Studies
Digital Signal Processing
Distributed Systems
E-Commerce
Specification and Verification II
Christine Northeast
Thu Sep 4 15:29:01 BST 2003