内容简介
于计算机科学的离散数学是大学一、二年级既难教又难学的一门课程。本书深入浅出，由
简及繁，将定义和理论抽象压缩到最低限度。除仍像前两版那样以关系和有向图作为中心外
，本书增加了较大的灵活性和模块性。本书11章分别为： 基础；逻辑；计数；关系和有向
图；函数；图论问题；有序关系及结构；树；半群和群；语言和有限状态机；群和编码。除
新增一章图论外，还增加了一些新的小节如： 数学结构，谓词演算，递归关系，用于计算
机科学的函数，函数的序，最小生成树。附录B离散数学实验是新增加的；此外，有关递归
、逻辑及验证也引入了更多的新材料，排列和组合的表达形式有了扩展，每章都增加了编码
练习。本书既可作数学也可作计算机科学或计算机工程课的教材。
目录
CONTENTS
Preface
Fundamentals
1.1 Sets and Subsets
1.2 Operations on Sets
1.3 Sequences
1.4 Division in the Integers
1.5 Matrices
1.6 Mathematical Structures
Logic
2.1 Propositions and Logical Operations
2.2 Conditional Statements
2.3 Methods of Proof
2.4 Mathematical Induction
Counting
3.1 Permutations
3.2 Combinations
3.3 The Pigeonhole Principle
3.4 Elements of Probability
3.5 Recurrence Relations
Relations and Digraphs
4.1 Product Sets and Partitions
4.2 Relations and Digraphs
4.3 Paths in Relations and Digraphs
4.4 Properties of Relations
4.5 Equivalence Relations
4.6 Computer Representation of Relations and Digraphs
4.7 Manipulation of Relations
4.8 Transitive Closure and Warshall´´s Algorithm
Functions
5.1 Functions
5.2 Functions for Computer Science
5.3 Permutation Functions
5.4 Growth of Functions
Topics in Graph Theory
6.1 Graphs
6.2 Euler Paths and Circuits
6.3 Hamiltonian Pa..
北京市公安局丰台分局备案编号：1101080539 
