Computer Science and Mathematics
Our dual degrees taught in conjunction with the School of Mathematics and Statistics are a natural partnership: maths is a key contributor to the field of computer science, and computational theory has both provided new ways to prove mathematical results, and defined the limits on what mathematical problems can be solved algorithmically. We teach you the theoretical mathematical side to computing as well as the more practical engineering aspects. Graduates with this depth of knowledge and specialist experience enjoy the best of both worlds, and are in high demand.
What you'll study
Theoretical foundations. Discrete mathematics; set theory, logic, proof. Continuous mathematics; linear algebra, probability, statistics. Algorithms and data structures, complexity. Theory of computation. Concurrency, process algebra and verification.
Pure mathematics. Techniques of proof, demonstrated within the study of the properties of integers and real numbers. Theory of symmetries.
Advanced calculus. Calculus of functions of one and two variables, application of partial derivatives to finding and classifying local maxima and minima. Line integrals, Fourier series and Fourier transforms. Extension of calculus to infinite-dimensional spaces.
Linear mathematics. Linear algebra, theory of eigenvalues and eigenvectors.
Nonlinear mathematics. Differentiation in several variables, linearisation of nonlinear systems.
Advanced mathematical topics. Ring and group structures in algebra. Quotient groups. Vector spaces, inner product spaces, including the space of continuous periodic functions. Relationships with Fourier theory.
Project skills. Collaborative teamwork skills. If you elect to do the 4-year MComp degree, you will join Genesys (a group-based software development project in our student-run software company).
BSc Computer Science and Mathematics
This degree has an equal balance of study between the two disciplines. In the first two years, you study an equal amount of maths and computer science, and then have the option of specialising in favour of either discipline in your final year. This degree is not automatically accredited by the British Computer Society, but graduates may later take professional study, if they wish.
MComp Computer Science with Mathematics
You will study an equal amount of maths and computer science in the first two years of this four-year degree, then study a larger proportion of computer science in the third year. The final year is dedicated to the study of computer science only, including work with Genesys Solutions, our unique student-run software company. This degree is designed explicitly to gain automatic British Computer Society accreditation, for those on the CEng track.
Click here for a detailed syllabus for these programmes.