Intended for computer science and engineering students, this textbook introduces basic logic, collections, counting and relations, permutations and symmetry, discrete probability theory, number theory, cryptography, graphs, and partially ordered sets. Detailed proofs are provided for the theorems and propositions. The second edition adds sections on combinatorial proofs and recurrence relations. Annotation ©2005 Book News, Inc., Portland, OR