Next:
Contents
 
Contents
Computer Science Tripos
Syllabus and Booklist 2001-2002
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
Christine Northeast
Tue Sep 4 09:34:31 BST 2001