Computer Science Part IB 2004-05
TimetablesCourses
- Computer Design
- Dr Simon Moore (Michaelmas
Term)
- Concurrent Systems and Applications
- Dr John Fawcett (Michaelmas
Term)
- Continuous Mathematics
- Dr Richard Gibbens (Michaelmas
Term)
- Data Structures and Algorithms
- Dr Martin Richards (Michaelmas
Term)
- Digital Electronics
- Dr Simon Moore (Michaelmas
Term)
- ECAD
- Dr Simon Moore (Michaelmas
Term)
- ECAD and Architecture Practical Classes
- Dr Simon Moore (Michaelmas
Term)
- Group Projects
- Prof Ross Anderson (Michaelmas
Term)
- Hardware Practical Classes
- Dr Ian Pratt (Michaelmas
Term)
- Logic and Proof
- Prof Larry Paulson (Michaelmas
Term)
- Numerical Analysis I
- Dr Mike O'Donohoe (Michaelmas
Term)
- Software Engineering and Design
- Dr Alan Blackwell (Michaelmas
Term)
- Unix Tools
- Dr Markus Kuhn (Michaelmas
Term)
- Comparative Programming Languages
- Dr Martin Richards (Lent
Term)
- Compiler Construction
- Dr Alan Mycroft (Lent
Term)
- Complexity Theory
- Dr Arthur Norman (Lent
Term)
- Computation Theory
- Prof Andrew Pitts (Lent
Term)
- Computer Graphics and Image Processing
- Dr Neil Dodgson (Lent
Term)
- Digital Communications I
- Prof Ian Leslie (Lent
Term)
- Introduction to Security
- Dr Markus Kuhn (Lent
Term)
- Operating Systems II
- Dr Steven Hand (Lent
Term)
- Semantics of Programming Languages
- Dr Peter Sewell (Lent
Term)
- Artificial Intelligence I
- Dr Matthew Trotter (Easter
Term)
- Databases
- Dr Timothy Griffin (Easter
Term)
- Economics and Law
- Prof Ross Anderson (Easter
Term)
- Foundations of Functional Programming
- Dr Arthur Norman (Easter
Term)
|