Prof Graham Brightwell and Prof Bernhard Von Stengel

This course is compulsory on the BSc in Mathematics and Economics and BSc in Mathematics with Economics. This course is available on the BSc in Actuarial Science, BSc in Business Mathematics and Statistics and BSc in Statistics with Finance. This course is available as an outside option to students on other programmes where regulations permit. This course is available with permission to General Course students.

Students should have taken, or be taking concurrently, the course Mathematical Methods (MA100).

The course is an introduction to the use of formal definitions and proofs in mathematics, and to basic results of elementary set theory, number theory, linear algebra, algebra and analysis. Specific topics covered are as follows: Logic, integers, sets and functions, prime numbers, relations, real and complex numbers, greatest common divisor and modular arithmetic, infimum and supremum, sequences, limits, continuity, groups and vector spaces.

20 hours of lectures, 8 hours of classes and 9 hours of workshops in the MT. 20 hours of lectures, 10 hours of classes and 10 hours of workshops in the LT. 4 hours of lectures and 2 hours of classes in the ST.

Written answers to set problems will be expected on a weekly basis.

Students are expected to have one of the recommended textbooks: N L Biggs, Discrete Mathematics (2nd edn) or P J Eccles, An Introduction to Mathematical Reasoning. Further background reading can be found in R Allenby, Numbers and Proofs; M Liebeck, A Concise Introduction to Pure Mathematics; V Bryant, Yet Another Introduction to Analysis; R Bartle & D Sherbert, Introduction to Real Analysis and H Anton, Elementary Linear Algebra.

Exam (100%, duration: 3 hours) in the main exam period.