# 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 Security 16 Lectures, Michaelmas Term 2021
- Computer-Aided Formal Verification 16 Lectures, Michaelmas Term 2021
- Databases 16 Lectures, Michaelmas Term 2021
- Geometric Modelling 16 Lectures, Michaelmas Term 2021
- Machine Learning 20 Lectures, Michaelmas Term 2021
- Principles of Programming Languages 16 Lectures, Michaelmas Term 2021
- Artificial Intelligence 16 Lectures, Hilary Term 2022
- Computational Complexity 16 Lectures, Hilary Term 2022
- Computer Architecture 16 Lectures, Hilary Term 2022
- Computer Graphics 16 Lectures, Hilary Term 2022
- Computers in Society 16 Lectures, Hilary Term 2022
- Knowledge Representation & Reasoning 16 Lectures, Hilary Term 2022
- Lambda Calculus and Types 16 Lectures, Hilary Term 2022
- Quantum Information 16 Lectures, Hilary Term 2022
- Computer Networks 14 Lectures, Trinity Term 2022
- Concurrency 16 Lectures, Trinity Term 2022
- Logic and Proof 16 Lectures, Trinity Term 2022