这本教材是由以课后习题形式出现的实践项目来驱动的，并且本书对这些习题进行了充分的解释和扩展。学生学习本书的最有效方法，应该是在阅读这些习题的解释之前认真地实践。这些实践主要是课堂上的分组练习，因此如果是课外去做这些习题，建议仍然是分组来做。设计这门课程和这本教材的目的，是为了帮助学生开发自己的数学思维。

本书从计算机科学的角度，通过讲解各种计算机应用来讨论相关的离散数学基础知识。本书分为计算方法、密码学与数值理论、逻辑与证明、归纳和递归、概率论、图论等几大主题，在文中穿插了大量的计算机应用实例，并在每章给出丰富的练习，可以有效地激发读者的学习兴趣。

本书可作为高等学校计算机相关专业的离散数学课程的双语教材，也可供计算机技术人员学习与参考。

List of Theorems, Lemmas, and Corot[aries

Preface

CHAPTER 1 Counting

CHAPTER 2 Cryptography and Number Theory

CHAPTER 3 Reflections on Logic and Proof

CHAPTER 4 Induction, Recursion, and Recurrences

CHAPTER 5 Probabitity

CHAPTER 6 Graphs

APPENDIX A Derivation of the More Genera[

Master Theorem

APPENDIX B Answers and Hints

to Selected Problems

Bibliography

Index