Department of Mathematics

MAT1026: Proof

Lecturer: Dr M Bartuccelli , Office: 08AA04
Lecture Details
Tuesday 15.00 - 16.50 Austin Pearce 1 and 2
Friday 15.00 - 15.50 LTM
Assessment and Coursework Deadlines
Courseworks to be handed-in to me 2 weeks later than they were handed-out. They will then be assessed and returned to you with appropriate feedback. We shall have an assessed test (worth 40% of the total exam) in week 10 on Friday the 10th of December at 15.00 in LTM. The formal exam will take place in week 14 or 15 and it is worth 60%.
Past Examination Papers
Past examination papers can be found here.
Reading material
Further Information
Textbooks: D.L.Johnson, Elements of Logic via Numbers and Sets, Springer, 1998; Tom Apostol: Introduction to Analytic Number Theory, Springer, 1998. Further reading: H. Davenport: The Higher Arithmetic, CUP, 1992; A. Cupillari: The Nuts and Bolts of Proofs, Academic Press, 2001.
An overview of this module can be found in the Module Catalogue.

For information e-mail:
Updated 4th October 2010