This course runs on Wednesdays 11-12 and on Thursdays 2-4.
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.You will be given assessed exercises in week 7 (submission date Tuesday, November 25th) and week 9 (submission date Tuesday, December 9th). Non-assessed exercises will also be given throughout the course. The exercise sheets and answers can be found here.
There will be a test at the end of the Christmas term and an exam at the end of the year.