Discrete Mathematics with ApplicationsSusanna Epp's DISCRETE MATHEMATICS, THIRD EDITION provides a clear introduction to discrete mathematics. Renowned for her lucid, accessible prose, Epp explains complex, abstract concepts with clarity and precision. This book presents not only the major themes of discrete mathematics, but also the reasoning that underlies mathematical thought. Students develop the ability to think abstractly as they study the ideas of logic and proof. While learning about such concepts as logic circuits and computer addition, algorithm analysis, recursive thinking, computability, automata, cryptography, and combinatorics, students discover that the ideas of discrete mathematics underlie and are essential to the science and technology of the computer age. Overall, Epp's emphasis on reasoning provides students with a strong foundation for computer science and upper-level mathematics courses. |
Contents
The Logic of Compound Statements | 1 |
The Logic of Quantified Statements | 75 |
Elementary Number Theory | 125 |
Copyright | |
12 other sections not shown
Other editions - View all
Common terms and phrases
a₁ algebra algorithm answer argument array arrow B₁ binary relation Boolean co-domain commutative law contain contradiction contrapositive counterexample defined definition denoted diagram digits divisible equal equation equivalence classes equivalence relation Example exercise F F F F T F factor false Figure Find finite finite-state automaton function given graph Hence Hint inductive hypothesis input inverse iteration least log₂ logically equivalent loop mathematical induction minimum spanning tree modulo modus tollens multiplication negation nonnegative integer notation obtained odd integer one-to-one pairs pigeonhole principle positive integer positive real numbers prime number proof property is true Prove quotient r₁ rational number real numbers recurrence relation recursive regular expression s₁ Section sequence shown Solution spanning tree step strings subsets Suppose symbol Theorem total number transitive truth table truth values variables vertex vertices Write