Presenting conceptual chains in an orderly and gradual fashion, thisinformal but thorough introduction to discrete mathematics offers acareful treatment of the basics essential for computer science suchas relations, induction, counting techniques, logic, and graphs. Italso covers the more advanced topics of Boolean algebra andpermutation groups, and comes with a wealth of examples to reinforcematerial and to allow readers to view topics from severalperspectives. The book includes new coverage of probability thatexamines such areas as random variables and distributions and newsections on the Euclidean algorithm and loop invariants, providinga powerful tool for designing algorithms and verifying theircorrectness.
The new edition, substantially reorganized and expanded, retains as its goal the development of mathematical maturity. It is aimed at students at the beginning level of calculus who, at the end of two terms, will be ready for upperclass work. Annotation c. Book News, Inc., Portland, OR (booknews.com)