BSc Computer Science and Mathematics

This unit provides the foundations for much of University level mathematics.  It introduces rigorous mathematical language and notation that are used throughout the degree, including mathematical logic.  In it we discuss methods of proof, properties of finite and infinite sets as well as equivalence relations. In the second half, we introduce the notion of convergence of infinite sequences and their limits and finally make rigorous the idea of continuous function. There are also discussions of complex numbers.

The unit aims to introduce students to the foundations of pure mathematics, including methods of proof, mathematical logic, sets, functions and mathematical analysis.

On the successful completion of the course, students will be able to:

• Perform calculations with complex numbers in standard and exponential form. Complex numbers
• Determine whether a real-valued function is continuous at a point and calculate the limit of a function at a point. Continuity and limits
• Verify properties of functions and construct composite functions and inverse functions. Functions
• Analyse the meaning of mathematical statements involving quantifiers and logical connectives and construct the negation of a given statement. Mathematical logic
• Construct elementary proofs of mathematical statements using a range of fundamental proof techniques (direct argument, induction, contradiction, use of contrapositive). Proofs
• Construct proofs and counter-examples about continuity of functions for real-valued functions defined on subsets of the reals. Proofs about continuity
• Construct proofs and counter-examples about the convergence of sequences of real and complex numbers. Proofs about sequences
• Determine convergence and limits of sequences directly from definitions and using properties of convergent sequences. Sequences

• Use basic set theoretic language and constructions, determine the cardinality of a set and recognise equivalence relations on sets. Sets

   

There is a supervision each week which provides an opportunity for students' work to be marked and discussed and to provide feedback on their understanding. Coursework or in-class tests (where applicable) also provide an opportunity for students to receive feedback. Students can also get feedback on their understanding directly from the lecturer, for example during the lecturer's office hour.

Peter Eccles ‘ An Introduction to Mathematical Reasoning’ , CUP, 1997
Mary Hart ‘Guide to Analysis’, Red Globe Press, 2001
K G Binmore ‘Mathematical Analysis: a straightforward approach’, CUP, 1982
Kevin Houston, ‘How to Think Like a Mathematician’ CUP, 2009
Lara Alcock ‘How to think about Analysis’, OUP, 2014.

Tuition fees for home students commencing their studies in September 2027 will be £10,050 per annum. Tuition fees for international students will be £39,700 per annum.

For general information please see the undergraduate finance pages.

All students should normally be able to complete their programme of study without incurring additional study costs over and above the tuition fee for that programme. Any unavoidable additional compulsory costs totalling more than 1% of the annual home undergraduate fee per annum, regardless of whether the programme in question is undergraduate or postgraduate taught, will be made clear to you at the point of application. Further information can be found in the University's Policy on additional costs incurred by students on undergraduate and postgraduate taught programmes (PDF document, 91KB).

The University of Manchester is committed to attracting and supporting the very best students. We have a focus on nurturing talent and ability and we want to make sure that you have the opportunity to study here, regardless of your financial circumstances.

For information about scholarships and bursaries please visit our  undergraduate student finance pages .