# 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)
- Computational Biology
- Godel's Incompleteness Theorem (C1.2)
- Automata, Logic and Games 24 Lectures, Michaelmas Term 2019
- Categories, Proofs and Processes 20 Lectures, Michaelmas Term 2019
- Computational Learning Theory 24 Lectures, Michaelmas Term 2019
- Concurrent Algorithms and Data Structures 20 Lectures, Michaelmas Term 2019
- Law and Computer Science 16 Lectures, Michaelmas Term 2019, Hilary Term 2020
- Physically Based Rendering 20 Lectures, Michaelmas Term 2019
- Probabilistic Model Checking 20 Lectures, Michaelmas Term 2019
- Quantum Computer Science 24 Lectures, Michaelmas Term 2019
- Advanced Security 19 Lectures, Hilary Term 2020
- Advanced Topics in Machine Learning Hilary Term 2020
- Categorical Quantum Mechanics 16 Lectures, Hilary Term 2020
- Computational Game Theory 20 Lectures, Hilary Term 2020
- Database Systems Implementation 22 Lectures, Hilary Term 2020
- Probability and Computing 20 Lectures, Hilary Term 2020
- Requirements 16 Lectures, Trinity Term 2020