This text provides a foundation in the mathematics required for the study of a module or course in computer science and information technology. It is intended for those who require a basic grounding in the relevant mathematics and assumes only a knowledge of basic algebra. Throughout, the style of the book is to introduce ideas and techniques through the medium of examples. Each chapter begins with a statement of the objectives of that chapter, detailing what abilities a successful study of the chapter should impart. Most sections conclude with self-assessment questions, which provide a quick guide to how well the material has been understood. The self-assessment questions are followed by a set of exercises on the material of the section, to which complete answers are provided. Each chapter is followed by a aset of test exercises from which a tutor can set assignments or tests; answers to these are not provided. Coverage includes: propositional calculus; sets; Boolean algebra; mathematical proofs; predicate calculus; finite state automata; probability; Cartesian geometry; matrices; and calculus. The book is part of the "Essential Maths for Students" series which provides the fundamental mathematical and statistical techniques required by students entering Higher Education" in a wide range of courses. Reflecting the needs of both student and lecturer, each text assumes little previous mathematical knowledge and is designed to raise the reader's proficiency to the level required by today's courses.