Course pages 2011–12
Michaelmas Term 2011: Part IB lectures
Subsections
- Algorithms II
 
- Computer Design
- Aims
- Lectures
- On-Line Learning Component: Cambridge SystemVerilog Tutor
- Objectives
- Recommended reading
 
 
- Concurrent and Distributed Systems
- Aims of the Michaelmas Term part of the course
- Michaelmas Term Lectures (Concurrency)
- Objectives
- Recommended reading
- Aims of the Lent Term part of the course
- Lent Term Lectures (Distributed Systems)
- Objectives
- Recommended reading
 
 
- Further Java
 
- Group Project
 
- Logic and Proof
 
- Mathematical Methods for Computer Science
 
- Programming in C and C++
 
- Prolog
 
- Semantics of Programming Languages
 
- Software Engineering
 
- Unix Tools



