It is intended to offer the following courses under Part B in 2007/08.

B1	B2
Formal Program Design I and Formal Program Design II	Intelligent Systems I and Intelligent Systems II
Compilers	Numerical Solution of Differential Equations I and Numerical Solution of Differential Equations II
Programming Languages	Computer Security
Computer Architecture	Machine Learning
Computer Graphics	Databases
Numerical Analysis	Integer Programming
Advanced Data Structures & Algorithms	Computational Complexity
Object Oriented Design	Lambda Calculus and Types
	Bioinformatics & Computational Biology
B4

Additional courses may be added to the schedules if resources permit.

Mathematics and Computer Science - Maths and Computer Science students take eight courses, including at least two from Mathematics (Schedule B3) and at least two from Computer Science (schedules B1 and B2), but including no more than two from B1 and no more than two subjects from Schedules B4 and B5. Students may not offer a course they also took in their second year. They do not take a project. Schedules B4 and B5 will remain empty in 2007/08

Schedule B3 for 2007-08

B1 Foundations: Logic and Set Theory
B2 Algebra
B4 Analysis
B5 Applied Analysis
B9 Number Theory

Synopses for these courses can be found here

However, there is provision for students to seek permission from the Teaching Committee for a further Mathematics Part B subject to be added to Schedule B3. There is a form for this purpose; it should be submitted to the Committee by Friday of week 3 of Michaelmas Term in the academic year in which the examination is taking place. Students should note that it would not be possible to guarantee that such additions could be scheduled to avoid a timetable clash.

Note that a half-unit (usually 16-lecture course) will count as one of your Maths options.

Please make sure that you discuss with your tutor any prerequisites for courses, particularly those from Mathematics.

Up-to-date guidance on practicals can be found here

Please note that although practicals play no part in the degree classification, a candidate must pass the practical component of the course in order to pass the exam, ie candidates must achieve 30% or more overall in their practicals to pass.

Fourth Year

Students will take six optional subjects from Schedules C1 and C2. Schedule C2 will contain Mathematics options. These will be examined by a sit-down paper, which is likely to be of two hours' duration, or by a mini-project. Alternatively, candidates may offer 4 optional subjects and a Computer Science project, or offer 4 optional subjects and a Mathematics project equivalent to one whole unit, or offer 5 optional subjects and a Mathematics project equivalent to one half-unit.

Topics for Schedule C1 may include a selection of the following:
Automata, Logic and Games
Categories, Proofs and Processes
Computational Linguistics
Computer Aided Formal Verification
Computer Animation
Concurrent and Distributed Programming
Domain Theory
Game Semantics
Information Retrieval
Program Analysis
Quantum Computer Science
Theory of Data and Knowledge Bases

It's really important to know what options you propose to take so that we can try to avoid timetable clashes. Therefore would you please complete a form, listing your chosen options and return to Christine O'Connor by Friday of week 9 of Trinity Term (22nd June 2007). Obviously at this stage your choice is not binding but this information will be extremely helpful to us.