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

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.

Transferable Skills

Footnotes

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.

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.