# Part B, Computer Science

Computer Science students in their second and third years are required to offer a total of ten optional subjects for examination from Schedules S1 and S2 (with no more than two from S2).Classes for courses in Schedule S2 are administered by the Mathematical Institute. Please use their Minerva system to sign up for them.

It is expected that you will have studied at least four optional courses during your second year.

All optional courses are examined at the end of your third year. You must also take a project, which is worth one third of the year.

Please note that although practicals play no part in the degree classification, you must pass the practical component of the course in order to pass the exam, i.e. you must achieve 40% or more overall in your practicals each year to pass.

#### Schedule S1

- Computer Graphics 16 Lectures, Michaelmas Term 2018
- Computer Security 16 Lectures, Michaelmas Term 2018
- Computer-Aided Formal Verification 16 Lectures, Michaelmas Term 2018
- Databases 16 Lectures, Michaelmas Term 2018
- Geometric Modelling 16 Lectures, Michaelmas Term 2018
- Machine Learning 20 Lectures, Michaelmas Term 2018
- Principles of Programming Languages 16 Lectures, Michaelmas Term 2018
- Artificial Intelligence 16 Lectures, Hilary Term 2019
- Computational Complexity 16 Lectures, Hilary Term 2019
- Computer Architecture 16 Lectures, Hilary Term 2019
- Knowledge Representation & Reasoning 16 Lectures, Hilary Term 2019
- Lambda Calculus and Types 16 Lectures, Hilary Term 2019
- Quantum Information 16 Lectures, Hilary Term 2019
- Computer Networks 16 Lectures, Trinity Term 2019
- Concurrency 16 Lectures, Trinity Term 2019
- Logic and Proof 16 Lectures, Trinity Term 2019