1 volume (various pagings) : 26 cm "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."--Publisher Speaking mathematically -- The logic of compound statements -- The logic of quantified statements -- Elementary number theory and methods of proof -- Sequences, mathematical induction, and recursion -- Set theory -- Functions -- Relations -- Counting and probability -- Graphs and trees -- Analysis of algorithm efficiency -- Regular expressions and finite-state automata -- Appendix A. Properties of the real numbers -- Appendix B. Solutions and hints to selected exercises Includes index