Note: The first term of the module 06-18189 : Mathematics for Computer Science covers basic aspects of discrete mathematics:
The lecturer is Mr Brian Philp, http://web.mat.bham.ac.uk/B.J.Philp/.
Answers available 1 week after tutorial
Current OHP slides from lectures
Tests from previous years :
More examples of Induction (including the proof that every natural number greater than 1 is prime or a product of primes, and that every finite partial order can be refined to a linear order)
Please see the PDF notes (given below) on graphs as well.
Recommended texts : Discrete Mathematics by S. Lipshutz (Schaum Outline Series)
Discrete Mathematics by Amanda Chetwynd and Peter Diggle.