Booth D.J. Foundation Discrete Mathematics for Computing

Springer, 1995. — 316 p. — (Tutorial Guides in Computing and Information Systems). — ISBN: 0412562804, 9780412562808The purpose of this text is to teach the novice the foundations of discrete mathematics as applied to computing. Illustrative examples are given throughout the book, followed by exercises which should provide an understanding and an appreciation of the mathematics involved.Propositions: either true or false
Truth and consequences
Sets and numbers
Counting
Predicate calculus
Proof
Relations
Functions
Solutions to exercises