# 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 two hours' duration. Mini-projects will be handed out to candidates on the last Friday (or Monday for subjects shared with MFoCS) of the term in which the subject is being taught and have to be submitted by noon on Monday of week 0 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 2020
- Bayesian Statistical Probabilistic Programming 16 Lectures, Michaelmas Term 2020
- Categories, Proofs and Processes 20 Lectures, Michaelmas Term 2020
- Concurrent Algorithms and Data Structures 20 Lectures, Michaelmas Term 2020
- Law and Computer Science 16 Lectures, Michaelmas Term 2020, Hilary Term 2021
- Probabilistic Model Checking 20 Lectures, Michaelmas Term 2020
- Quantum Processes and Computation 24 Lectures, Michaelmas Term 2020
- Advanced Security 18 Lectures, Hilary Term 2021
- Advanced Topics in Machine Learning 18 Lectures, Hilary Term 2021
- Categorical Quantum Mechanics 16 Lectures, Hilary Term 2021
- Computational Biology 16 Lectures, Hilary Term 2021
- Computational Game Theory 20 Lectures, Hilary Term 2021
- Computational Learning Theory 20 Lectures, Hilary Term 2021, Trinity Term 2021
- Database Systems Implementation 22 Lectures, Hilary Term 2021
- Probability and Computing 20 Lectures, Hilary Term 2021
- Requirements 16 Lectures, Trinity Term 2021