# 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 (or Monday for subjects shared with MFoCS in Michaelmas term) of the term in which the subject is being taught and have to be submitted in week -1 of the following term. The mini-project will be designed to be completed in about three days. It will include some questions that are more open-ended than those on a standard sit-down exam. The work you submit must be your own work, and include suitable references.

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)
- Automata, Logic and Games 24 Lectures, Michaelmas Term 2021
- Bayesian Statistical Probabilistic Programming 16 Lectures, Michaelmas Term 2021
- Categories, Proofs and Processes 20 Lectures, Michaelmas Term 2021
- Concurrent Algorithms and Data Structures 20 Lectures, Michaelmas Term 2021
- Law and Computer Science 16 Lectures, Michaelmas Term 2021, Hilary Term 2022
- Probabilistic Model Checking 20 Lectures, Michaelmas Term 2021
- Quantum Processes and Computation 24 Lectures, Michaelmas Term 2021
- Advanced Security 22 Lectures, Hilary Term 2022
- Advanced Topics in Machine Learning 18 Lectures, Hilary Term 2022
- Categorical Quantum Mechanics 16 Lectures, Hilary Term 2022
- Computational Biology 16 Lectures, Hilary Term 2022
- Computational Game Theory 20 Lectures, Hilary Term 2022
- Computational Learning Theory 20 Lectures, Hilary Term 2022, Trinity Term 2022
- Database Systems Implementation 22 Lectures, Hilary Term 2022
- Probability and Computing 20 Lectures, Hilary Term 2022
- Requirements 16 Lectures, Trinity Term 2022