Contents in Brief
Preface
xiii
Note to the Student
xvi
CHAPTEr 1 Formal Logic
001
CHAPTEr 2 Proofs, Induction, and Number Theory
097
CHAPTEr 3 Recursion, Recurrence Relations, and Analysis of
Algorithms
157
CHAPTEr 4 Sets, Combinatorics, and Probability
221
CHAPTEr 5 Relations, Functions, and Matrices
327
CHAPTEr 6 Graphs and Trees
475
CHAPTEr 7 Graph Algorithms
553
CHAPTEr 8 Boolean Algebra and Computer Logic
617
CHAPTEr 9 Modeling Arithmetic, Computation, and Languages
685
APPEndix A Derivation Rules for Propositional and Predicate Logic
803
APPEndix B Summation and Product Notation
805
APPEndix C The Logarithm Function
809
Answers to Practice Problems
813
Answers to Odd-Numbered Exercises
851
Answers to Self-Tests
949
Index
959