# Part A, Computer Science

In the second year Computer Science students are required to take

-** the core courses in Algorithms, Compilers, Concurrent Programming and Models of
Computation.**** **

**- the Group Design Practical **

**It is strongly recommended that if you intend to study any Computer Science optional course
that is scheduled in Trinity term, that you do so in your second year as they may clash with examinations if studied in
your third year.**

in the 2nd and 3rd years you are required to take a total of 10 optional courses from Schedules S1 and S2. It is recomended that you take 4 or 5 of these options in your 2nd year, however your tutor will be able to provide you with some guidance on this. All optional courses will be examined at the end of your 3rd year.

Schedule S2 - you may take no more than 2 courses from Schedule S2; please note that you may attend
lectures for these courses in your second year, but classes only in your 3rd year.

#### Part A Core

- Compilers 16 Lectures, Michaelmas Term 2019
- Models of Computation 16 Lectures, Michaelmas Term 2019
- Algorithms and Data Structures 16 Lectures, Hilary Term 2020
- Concurrent Programming 16 Lectures, Hilary Term 2020
- Group Design Practical Hilary Term 2020, Trinity Term 2020

#### Schedule S1

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