Continuous assessment
20% of the module mark will be based on continuous assessment. There
are two assessments, each of which will have equal weight.
 Assessment 1 covers the first 5 weeks of teaching.
 Assessment 2 covers the rest of the module.
Both assessments consists of a a multiplechoice class test and a
mark for contribution during tutorials (including written
preparation). The test duration is 50 minutes. The test is closed
book, so no unauthorised materials including lecture notes, problem
solutions, tutorial sheets, books, etc are permitted.
Module calendar:
Number Systems and Proofs
We went through slides 1523. For technical reasons there are no annotated notes.
Lecture recording.
Number Systems and Proofs
We went through
slide 41.
Unfortunately, there's no audio stream.
Number Systems and Proofs
We went through
slides 5572.
Unfortunately, there's no audio stream.
Tutorial Solutions:
Solutions to the tutorial problems can be found here
Lecture Slides:
Lecture slides are available as a single
document.
You can also get individual topics from the list below.
Core Textbook:
Additional Reading
There are plenty of resources available. Note that these books and
courses may not cover the material of this module.
 Mathematics for Computer Science by
Eric Lehman, F Thomson Leighton and Albert R Meyer
See also
videos from MIT
Open Course "Mathematics for Computer Science"
 Discrete Mathematics with Applications by Susanna S. Epp,
Cengage Learning 2011
 How to Think Like a Mathematician: A Companion to
Undergraduate Mathematics by Kevin Houston, Cambridge
University Press 2009
 Proofs and Fundamentals by E. Bloch. Springer. 2nd
edition, 2011
 Catching up with basic maths:

Module Description
Module specification and other relevant information can be found on the
departmental
web page