Provides a solid introductory grounding in the maths required for modules or courses in computer science and information technology. Through worked examples, high-lighted key points and self-assessment questions the book explains essential mathematical ideas and applies them to the IT field. Topics covered include propositional and predicate calculus, matrices sets, mathematical proofs, probability, co-ordinate geometry and finite state automata.