School of Computer Science

MSci Pure Mathematics and Computer Science - 2013

Final Award MSci
Programme TitlePure Mathematics and Computer Science
School/DepartmentSchool of Computer Science
Banner Code5256
Length of Programme4 years
Total Credits240
UCAS CodeNone
Awarding InstitutionThe University of Birmingham
Designed for accreditation by BCS
QAA Benchmarking GroupsComputing

Educational Aims Of Programme

  • Prepare professionals in both computer science and pure mathematics who would be able to work as specialists in these subjects and in particular in those areas of the computer science research which require knowledge of abstract structures and rigorous mathematical reasoning. This programme is an extension of the existing BSc programme of the same name. It provides a deeper understanding of both subject areas and enables students to get close to the frontiers of research.

Programme Outcomes and Learning, Teaching and Assessment Strategies

Knowledge and Understanding

  • Key mathematical concepts and topics
  • How mathematics can be used to analyse and solve problems including those at an abstract level
  • Essential concepts, principles and theories relating to Computing
  • How the Computer Science theory is related to modelling and design of computer-based systems
  • The role of rigorous mathematical proofs in analysing computer-based systems
  • The latest trends and developments in research in either Computer Science or Mathematics

Skills & Other Attributes

  • To abstract the essentials of problems and formulate them mathematically and in a symbolic form.
  • To select and apply appropriate mathematical methods to solve problems including those at an abstract level
  • To be able to construct and develop logical mathematical arguments with clear identification of assumptions and conclusions
  • To present arguments and conclusions clearly and accurately.
  • To specify, design and construct computer-based systems.
  • To use rigorous mathematical argument analysing or solving problems related to computer-based systems.
  • To independently solve a substantial problem and present a solution both orally and in a dissertation.

Transferable Skills


  1. The Learning & Teaching and Assessment Methods above are not intended to be exclusive, but to indicate the main methods in use. Module Descriptions contain more detail.
  2. Whether to award accreditation is a decision made from time to time by a professional body according to criteria which are then current; hence there is no guarantee that the programme will actually be accredited for any particular year of entry by any particular professional body.