本书是介绍离散数学理论和方法的经典教材，已经成为采用率最高的离散数学教材。仅在美国就被600多所高校用作教材，获得了极大的成功。中文版也已被国内大学广泛采用为教材。第6版在前五版的基础上做了大量的改进，使其成为更有效的教学工具。

本书可作为1至2个学期的离散数学课入门教材，适用于数学、计算机科学、计算机工程、信息技术等专业的学生。

《离散数学及其应用》一书是介绍离散数学理论和方法的经典教材，已经成为采用率最高的离散数学教材，仅在美国就被600多所高校用作教材。并获得了极大的成功。第6版在前5版的基础上做了大量的改进，使其成为更有效的教学工具。

本书基于该书第6版进行改编。保留了国内离散数学课程涉及的基本内容。更加适合作为国内高校计算机及相关专业本科生的离散数学课程教材。本书的具体改编情况如下：

补充了第1章中的基础内容，详细描述了范式和标准型。

删去了在其他课程中讲授的内容。如数论、离散概率、归纳和递归等。

对于保留章节，删去了编号为偶数的练习题。

 删去了相关的历史资料。

Adapter's Forword

Preface

To the Student

LIST OF SYMBOLS

Chapter 1 The Foundations: Logic and Proofs

 1.1 Propositional Logic

 1.2 Propositional Equivalences

 1.3 Predicates and Quantifiers

 1.4 Nested Quantifiers

 1.5 Rules of Inference

 1.6 Introduction to Proofs

 1.7 Proof Methods and Strategy

 End-of-Chapter Material

Chapter 2 Basic Structures: Sets, Functions, Sequences, and Sums

 2.1 Sets

 2.2 Set Operations

 2.3 Functions

 2.4 Sequences and Summations

 End-of-Chapter Material

Chapter3 Counting

 3.1 The Basics of Counting

 3.2 The Pigeonhole Principle

 3.3 Permutations and Combinations

 3.4 Binomial Coefficients

 3.5 Generalized Permutations and Combinations

 3.6 Generating Permutations and Combinations

 End-of-Chapter Material

Chapter 4 Advanced Counting Techniques

 4.1 Recurrence Relations

 4.2 Solving Linear Recurrence Relations

 4.3 Divide-and-Conquer Algorithms and Recurrence Relations

 4.4 Generating Functions

 4.5 Inclusion-Exclusion

 4.6 Applications of Inclusion-Exclusion

 End-of-Chapter Material

Chapter 5 Relations

 5.1 Relations and Their Properties

 5.2 n-ary Relations and Their Applications

 5.3 Representing Relations

 5.4 Closures of Relations

 5.5 Equivalence Relations

 5.6 Partial Orderings

 End-of-Chapter Material

Chapter 6 Graphs

 6.1 Graphs and Graph Models

 6.2 Graph Terminology and Special Types of Graphs

 6.3 Representing Graphs and Graph Isomorphism

 6.4 Connectivity

 6.5 Euler and Hamilton Paths

 6.6 Shortest-Path Problems

 6.7 Planar Graphs

 6.8 Graph Coloring

 End-of-Chapter Material

Chapter 7 Trees

 7.1 Introduction to Trees

 7.2 Applications of Trees

 7.3 Tree Traversal

 7.4 Spanning Trees

 7.5 Minimum Spanning Trees

 End-of-Chapter Material

Answers to Exercises