# Part A, Mathematics and Computer Science

Maths and Computer Science Part A students are required to take:

**The two core Computer Science papers:****Algorithms and Models of Computation****The two core Mathematics papers:****A0 Linear Algebra and A2 Metric Spaces and Complex Analysis**- Mathematics options: the number of options is not specified, but it is recommended that you take 32 lectures’ worth. Mathematics options will be examined by either two papers from A3-A5, A7-A11 or one paper from A3-A5, A7-A11 and paper ASO.
- Computer Science options: in the second and third years students are are required to take at least four Computer Science optional courses from Schedule S1(M&CS) on which you will be examined in your 3rd year. it is recomended that you take at least 2 of these courses in your 2nd year.
- 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.

Colleges will organise tutorials for core Computer Science courses.

Practicals will be assessed as a nominal paper, as for Prelims. They play no part in the classification but a candidate must pass the practical component of the course in order to pass the exam, i.e. candidates must achieve 40% or more overall in their practicals each year to pass.

Details of Mathematics courses can be found at http://www.maths.ox.ac.uk/courses. Details of Computer Science courses can be found below.

- Models of Computation Michaelmas Term 2017
- Algorithms Hilary Term 2018
- Group Design Practical Hilary Term 2018, Trinity Term 2018

#### Schedule S1(M&CS)

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