Discrete Math with Proof

Discrete Math with Proof

3.87 (8 ratings by Goodreads)
By (author) 

List price: US$129.01

Currently unavailable

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks


This book equips readers to apply discrete mathematics and provides opportunities for practice of the concepts presented. Coverage of algorithms is included. Combinatorics receives more coverage than in other books.show more

Product details

  • Hardback | 808 pages
  • 198.1 x 256.5 x 33mm | 1,837.07g
  • Pearson Education Limited
  • Prentice-Hall
  • Harlow, United Kingdom
  • English
  • United States ed
  • 0130669482
  • 9780130669483

Table of contents

1. Introduction. What Is Discrete Mathematics? The Stable Marriage Problem. Other Examples. Exercises. 2. Sets, Logic, and Boolean Algebras. Sets. Logic in Daily Life. Propositional Logic. A Detailed Look at Tautologies. Boolean Algebras. Predicate Logic. Analyzing Claims (Optional). Quick Check Solutions. Projects. 3. Proof. Introduction to Mathematical Proof. Proof Strategies. Mathematical Induction. Creating Proofs: Hints and Suggestions. Quick Check Solutions. 4. Algorithms. Expressing Algorithms. Measuring Algorithm Efficiency. Pattern Matching. The Halting Problem. Quick Check Solutions. 5. Counting. Permutations and Combinations. Combinatorial Proofs. Pigeon-Hole: Inclusion-Exclusion. Quick Check Solutions. 6. Finite Probability Theory. The Language of Probabilities. Conditional Probabilities and Independent Events. Counting and Probability. Expected Value. Bayes' Theorem. Quick Check Solutions. 7. Recursion. Recursive Algorithms. Recurrence Relations. Generating Functions. The Josephus Problem. Quick Check Solutions. Projects. 8. Combinatorics. Partitions, Occupancy Problems, and Stirling Numbers. Latin Squares; Finite Projective Planes. Balanced Incomplete Block Designs. The Knapsack Problem. Error-Correcting Codes. Distinct Representatives; Ramsey Numbers. Quick Check Solutions. 9. Formal Models in Computer Science. Information. Finite-State Machines. Formal Languages. Regular Expressions. The Three Faces of Regular. A Glimpse at More Advanced Topics. Quick Check Solutions. 10. Graphs. Terminology. Connectivity and Adjacency. Euler and Hamilton. Representation and Isomorphism. The Big Theorems: Planarity, Polyhedra, Chromatic Number. Directed Graphs and Weighted Graphs. Quick Check Solutions. 11. Trees. Terminology, Counting. Traversal, Searching, and Sorting. More Applications of Trees. Spanning Trees. Quick Check Solutions. 12. Functions, Relations, Databases, and Circuits. Functions and Relations. Equivalence Relations. n-ary Relations and Relational Databases. Binary Functions and Binary Expressions. Combinatorial Circuits. Quick Check Solutions. Appendix A. Number Systems. The Natural Numbers. The Integers. The Rational Numbers. The Real Numbers. The Complex Numbers. Other Number Systems. Representation of Numbers. Appendix B. Summation Notation. Appendix C. Logic Puzzles. Logic Puzzles about AND, OR, NOT. Logic Puzzles about Implication, Biconditional, and Equivalence. Exercises. Quick Check Solutions. Appendix D. The Golden Ratio. Appendix E. Matrices. References. Index.show more

Rating details

8 ratings
3.87 out of 5 stars
5 50% (4)
4 12% (1)
3 12% (1)
2 25% (2)
1 0% (0)
Book ratings by Goodreads
Goodreads is the world's largest site for readers with over 50 million reviews. We're featuring millions of their reader ratings on our book pages to help you find your new favourite book. Close X