Core modules
There are two routes through the degree the three BA in Mathematics and Philosophy and the four-year with Specialism in Logic and Foundations You will be eligible for transfer to the Specialism in Logic and Foundations degree based on your first exam results
If you remain on the Mathematics and Philosophy route you may choose to apply for an intercalated spent either studying abroad or on a work placement This extends the duration of your degree to four with your third spent abroad or on placement and will be reflected in your degree qualification (ie Mathematics and Philosophy with Intercalated Year)
Year One
Mind and Reality
Look around What if all your experiences were the products of dreams or neuroscientific experiments? Can you prove they aren’t? If not how can you know anything about the world around you? How can you even think about such a world? Perhaps you can at least learn about your own experience what it’s like to be you But doesn’t your experience depend on your brain an element of the external world? This course will deepen your understanding of the relationship between your mind and the rest of the world
Read more about the Mind and Reality moduleLink opens in a new window including the methods of teaching and assessment (content applies to 2022 23 of study)
Logic 1 Introduction to Symbolic Logic
This module teaches you formal logic covering both propositional and first-order logic You will learn about a system of natural deduction and understand how to demonstrate that it is both sound and complete You will learn how to express and understand claims using formal techniques including multiple quantifiers Key concepts you will consider are logical validity truth functionality and formal proof quantification
Read more about the Logic 1 Introduction to Symbolic Logic moduleLink opens in a new window including the methods of teaching and assessment (content applies to 2022 23 of study)
Sets and Numbers
It is in its proofs that the strength and richness of mathematics is to be found University mathematics introduces progressively more abstract ideas and structures and demands more in the way of proof until most of your time is occupied with understanding proofs and creating your own Learning to deal with abstraction and with proofs takes time This module will bridge the gap between school and university mathematics taking you from concrete techniques where the emphasis is on calculation and gradually moving towards abstraction and proof
Read more about the Sets and Numbers moduleLink opens in a new window including the methods of teaching and assessment (content applies to 2022 23 of study)
Introduction to Probability
This module takes you further in your exploration of probability and random outcomes Starting with examples of discrete and continuous probability spaces you will learn methods of counting (inclusion-exclusion formula and multinomial coefficients) and examine theoretical topics including independence of events and conditional probabilities You will study random variables and their probability distribution functions Finally you will study variance and co-variance including Chebyshev’s and Cauchy-Schwarz inequalities The module ends with a discussion of the celebrated Central Limit Theorem
Read more about the Introduction to Probability moduleLink opens in a new window including the methods of teaching and assessment (content applies to 2022 23 of study)
Mathematical Analysis I II
Analysis is the rigorous study of calculus In this module there will be a considerable emphasis throughout on the need to argue with much greater precision and care than you had to at school With the support of your fellow students lecturers and other helpers you will be encouraged to move on from the situation where the teacher shows you how to solve each kind of problem to the point where you can develop your own methods for solving problems The module will allow you to deal carefully with limits and infinite summations approximations to pi and e and the Taylor series The module also covers construction of the integral and the Fundamental Theorem of Calculus
Read more about these modules including the methods of teaching and assessment (content applies to 2022 23 of study)
Mathematical Analysis ILink opens in a new window
Mathematical Analysis IILink opens in a new window
Methods of Mathematical Modelling 1 and 2
Methods of Mathematical Modelling 1 introduces you to the fundamentals of mathematical modelling and scaling analysis before discussing and analysing difference and differential equation models in the context of physics chemistry engineering as well as the life and social sciences This will require the basic theory of ordinary differential equations (ODEs) the cornerstone of all applied mathematics ODE theory later proves invaluable in branches of pure mathematics such as geometry and topology You will be introduced to simple differential and difference equations methods for obtaining their solutions and numerical approximation
In the second term for Methods of Mathematical Modelling 2 you will study the differential geometry of curves calculus of functions of several variables multi-dimensional integrals calculus of vector functions of several variables (divergence and circulation) and their uses in line and surface integrals
Read more about these modules including the methods of teaching and assessment (content applies to 2022 23 of study)
Methods of Mathematical Modelling 1Link opens in a new window
Methods of Mathematical Modelling 2Link opens in a new window
Linear Algebra
Linear algebra addresses simultaneous linear equations You will learn about the properties of vector spaces linear mappings and their representation by matrices Applications include solving simultaneous linear equations properties of vectors and matrices properties of determinants and ways of calculating them You will learn to define and calculate eigenvalues and eigenvectors of a linear map or matrix You will have an understanding of matrices and vector spaces for later modules to build on
Read more about the Linear Algebra moduleLink opens in a new window including the methods of teaching and assessment (content applies to 2022 23 of study)
Year Two
Logic II Metatheory
In this module you will learn about the metatheory of propositional and first-order logic; to understand the concept of a sound and complete proof system similar to that of Logic I You will study elementary set theory and inductive definitions and then consider Tarski's definitions of satisfaction and truth proceeding to develop the Henkin completeness proof for first-order logic You will learn to appreciate the significance of these concepts for logic and mathematics with the ability to define them precisely
Read more about the Logic II Metatheory moduleLink opens in a new window including the methods of teaching and assessment (content applies to 2022 23 of study)
Metric Spaces
This module lays the basis for many subsequent mathematically-inclined modules and it is concerned with fundamental notions of distances measuring and continuity Making these foundations into a consistent theoretical framework has kept many great mathematicians busy for many centuries and in this module you walk in their footsteps
Read more about the Metric Spaces moduleLink opens in a new window including the methods of teaching and assessment (content applies to 2024 24 of study)
Multilinear Algebra
In this module you will develop and continue your study of linear algebra the Jordan normal form for matrices; functions of matrices; symmetric and quadratic forms; tensors; bilinear forms; dual spaces
Read more about the Multilinear Algebra is moduleLink opens in a new window including the methods of teaching and assessment (content applies to 2024 24 of study)
Groups and Rings
This first abstract algebra module roughly based on the current version of Algebra-2 Groups and Rings focuses on developing your understanding and application of the theories of groups and rings improving your ability to manipulate them and extending your knowledge and understanding of algebra from the Sets and Numbers module in Year One
Read more about the Groups and Rings moduleLink opens in a new window including the methods of teaching and assessment (content applies to 2024 24 of study)
Year Three
Set Theory
Set theoretical concepts and formulations are pervasive in modern mathematics They provide a highly useful tool for defining and constructing mathematical objects as well as casting a theoretical light on reducibility of knowledge to agreed first principles You will review naive set theory including paradoxes such as Russell and Cantor and then encounter the Zermelo-Fraenkel system and the cumulative hierarchy picture of the set theoretical universe Your understanding of transfinite induction and recursion cardinal and ordinal numbers and the real number system will all be developed within this framework
Read more about the Set Theory moduleLink opens in a new window including the methods of teaching and assessment (content applies to 2022 23 of study)
Year Four
Dissertation
Or
Third Year Maths Essay
(with Specialism in Logic and Foundations only)
Optional modules
Optional modules can vary from to Example optional modules may include
Commutative Algebra
Knot Theory
Logic III Incompleteness and Undecidability
Philosophy of Mathematics
Metaphysics
Computability Theory
Show less