University studies in computing requires the ability to pass from a concrete problem to an abstract representation, reason with abstract structures, and come back with solutions that are useful for certain situations. Tools to develop these skills in the qualitative? Frequently appeared in all this is evidence, both pure logic (such as proof by contradiction) and mathematics (various forms of induction). Features: ? Explain the basic mathematical tools required by students as they left in their studies of Computer Science or Information ? Provide a variety of exercises, solutions and proofs to deepen and test the reader? S comprehension ? Tandems with additional electronic resources including the slide in the author's site http://david.c.makinson.googlepages.com It is easy to follow text enable readers to make their computing research with a clear understanding of mathematics and logic to the base they need.