Hilary Term, MSc in Computer Science
It is recommended that students should undertake no more than four topics in any one term.
Schedule A - each equivalent to 4 units
Schedule B - each equivalent to 4 units
Schedule C - each equivalent to 6 units
Schedule A
- Compilers 16 Lectures, Hilary Term 2012
- Concurrency 16 Lectures, Hilary Term 2012
- Concurrent Programming 16 Lectures, Hilary Term 2012
- Introduction to Specification 16 Lectures, Hilary Term 2012
Schedule B
- Computational Complexity 16 Lectures, Hilary Term 2012
- Knowledge Representation & Reasoning 16 Lectures, Hilary Term 2012
- Machine Learning 16 Lectures, Hilary Term 2012
- Reasoning about Information Update 16 Lectures, Hilary Term 2012
- Computers in Society 16 Lectures, Trinity Term 2012
Schedule C
- Automata, Logic and Games 16 Lectures, Hilary Term 2012
- Database Systems Implementation 20 Lectures, Hilary Term 2012
- Information Retrieval 20 Lectures, Hilary Term 2012
- Program Analysis 20 Lectures, Hilary Term 2012
- Quantum Computer Science 24 Lectures, Hilary Term 2012
- Requirements 16 Lectures, Hilary Term 2012
- Software Verification 18 Lectures, Hilary Term 2012
- Theory of Data and Knowledge Bases 16 Lectures, Hilary Term 2012