# Part C, Computer Science

In Part C you are required to take 5 optional subjects from Schedule C1.

Most of these subjects will be examined by a take-home mini-project, though some will be examined by a sit-down paper of three hours' duration. Mini-projects will be handed out to candidates on the last Friday of the term in which the subject is being taught and have to be submitted in week -1 of the following term.

In addition, candidates will complete a larger project worth 3/8 of the year’s assessment.

Please note that the courses in Part C are 50% bigger than those in earlier years, i.e. for each course in the 3rd year undergraduates are expected to undertake about 10 hours of study per week, but 4th year courses will each require about 15 hours a week of study. Lecturers are providing this extra work in a variety of ways, e.g. some will give 16 lectures but will require you to undertake extra reading, classes and/or practicals, whereas others will be giving 24 lectures, and others still will be doing something in between. Please look at each synopsis for details on this.

#### Schedule C1

- Axiomatic Set Theory (C1.4)
- Godel's Incompleteness Theorem (C1.2)
- SC8 Topics In Computational Biology 16 Lectures,
- Computational Biology 20 Lectures, Michaelmas Term 2023
- Computational Game Theory 20 Lectures, Michaelmas Term 2023
- Computational Learning Theory 24 Lectures, Michaelmas Term 2023
- Concurrent Algorithms and Data Structures 20 Lectures, Michaelmas Term 2023
- Distributed Processes, Types and Programming 20 Lectures, Michaelmas Term 2023
- Graph Representation Learning 20 Lectures, Michaelmas Term 2023
- Law and Computer Science 16 Lectures, Michaelmas Term 2023, Hilary Term 2024
- Probabilistic Model Checking 20 Lectures, Michaelmas Term 2023
- Probability and Computing 20 Lectures, Michaelmas Term 2023
- Quantum Processes and Computation 24 Lectures, Michaelmas Term 2023
- Advanced Security 22 Lectures, Hilary Term 2024
- Algorithmic Foundations of Collective Decision Making 20 Lectures, Hilary Term 2024
- Categories, Proofs and Processes 20 Lectures, Hilary Term 2024
- Computational Medicine 20 Lectures, Hilary Term 2024
- Computer Vision 20 Lectures, Hilary Term 2024
- Database Systems Implementation 22 Lectures, Hilary Term 2024
- Foundations of Self-Programming Agents 20 Lectures, Hilary Term 2024
- Geometric Deep Learning 18 Lectures, Hilary Term 2024
- Knowledge Representation & Reasoning 24 Lectures, Hilary Term 2024
- Quantum Software 24 Lectures, Hilary Term 2024
- Uncertainty in Deep Learning 20 Lectures, Hilary Term 2024