Discrete Mathematics

Course Material

Course Notes

The lecture notes for the course (written by Dr. Philippa Gardner) can be found here ( ps , pdf ) . The notes for Iain Phillips former course can be found here.

Course Slides

  • Slides on sets
  • Slides on relations
  • Slides on functions
  • Slides on orderings
  • Recommended Books

    K.H. Rosen. Discrete mathematics and its Applications, McGraw Hill 1995.

    J.L. Gersting. Mathematical Structures for Computer Science, Freeman 1993.

    J.K. Truss. Discrete Mathematics for Computer Science, Addison-Wesley 1991.

    R. Johnsonbaugh, Discrete Mathematics, 5th ed. Prentice Hall 2000.

    C. Schumacher, Fundamental Notions of Abstract mathematics, Addison-Wesley, 2001.

    Related courses include the mathematical reasoning courses (logic, program reasoning and discrete maths 2), Haskell and Databases 1.

    There will be a test at the end of the Christmas term and an exam at the end of the year.


    yg@doc.ic.ac.uk