-
内容大纲
本书是作者团队结合多年教学实践经验与科学研究成果,在力求通俗易懂、简明扼要的指导思想下编写而成的。本书共11章,内容包含数理逻辑、集合与关系、函数、代数结构、图和树等。本书体系严谨、文字精练、内容充实、例题丰富,配套丰富的教学资源,适合高校教学使用。除此之外,本书综合国内外离散数学的相关新资料,采用双语的形式,从而培养读者的外文科技文献阅读能力。
本书适合高等院校计算机及相关专业作为“离散数学”课程的教材使用,也可以作为对离散数学感兴趣的读者的入门参考用书。 -
作者介绍
-
目录
Part Ⅰ Mat ematlcal Logic
Chapter 1 Propositional Logic
1.1 Propositions and Connectives
1.2 Propositional Formula and Translation
1.3 Truth Tables and Equivalent Formulas
1.4 Tautology and Implication
1.5 Duality and Normal Form
1.6 The Reasoning Theory of Propositional Calculus
1.7 Application of Propositional Logic
Exercises
Chapter 2 Predicate Logic
2.1 Predicate and Quantifier
2.2 Predicate Formula and Translation
2.3 Constraints on Variables
2.4 Equivalence and Implication of Predicate Calculus
2.5 Prenex Normal Forms
2.6 Inference Theory of Predicate Calculus
2.7 Application of Predicate Logic
Exercises
Part Ⅱ Set Theory
Chapter 3 Set and Relation
3.1 The Concept and Representation of the Set
3.2 Operation of Set
3.3 Inclusion Exclusion Principle
3.4 Ordered Pair and Cartesian Product
3.5 Relation and Its Nature
3.6 Inverse and Compound Relations
3.7 Closure Operations
3.8 Equivalence Relation and Compatible Relation
3.9 Partial Order Relation
3.10 Application of Set and Relation
Exercises
Chapter 4 Function
4.1 The Concept and Representation of Function
4.2 Inverse Function and Compound Function
4.3 The Concept of Characteristic Function and Fuzzy Subset
4.4 Common Functions
Exercises
Part Ⅲ The Algebraic Structure
Chapter 5 Algebra System
5.1 The Introduction of Algebraic Systems
5.2 Operations and Properties of Algebraic Systems
5.3 Homomorphism and Isomorphism of Algebraic Systems
5.4 Congruence and Quotient Algebra
5.5 Product Algebra
Exercises
Chapter 6 Group
6.1 Semigroup
6.2 Group and Subgroup
6.3 Homomorphism and Isomorphism of Groups
6.4 Abelian Groups and Cyclic Groups
Exercises
Chapter 7 Lattice and Boolean Algebra
7.1 The Concept and Properties ot" Lattice
7.2 Distributive Lattice
7.3 Complemented Lattice
7.4 Boolean Algebra
7.5 Boolean Expression
Exercises
Part Ⅳ Graph Theory
Chapter 8 Basic Concepts of Graphs
8.1 Concept of Graph
8.2 Subgraph and Isomorphic Graph
8.3 Path and Loop
8.4 Matrix Representation of Graph
Exercises
Chapter 9 Euler Graph and Hamiltonian Graph
9.1 Euler Graph
9.2 Hamiltonian Graph
9.3 Application of Euler Graph and Hamiltonian Graph
Exercises
Chapter 10 Planar Graph
10.1 Basic Concepts of the Planar Graph
10.2 Euler Formula and Judgment of Planar Graph
10.3 Dual Graph and Properties
10.4 Application of the Planar Graph
Exercises
Chapter 11 Tree
11.1 The Concept and Properties of Trees
11.2 Spanning Tree
11.3 Directed Tree
11.4 Root Trees and Their Applications
Exercises
Reference
同类热销排行榜
- 目送/人生三书
-
21世纪的《背影》 + 感人至深的“生死笔记”+ 龙应台亲手摄影 + 跨三代共读的人生之书! 华人世界率性犀利的一枝笔,龙应台独家...
- 顾城的诗(金版)(精)/蓝星诗库
- 人类群星闪耀时(插图本)/译林名著精选
- 牛津高阶英汉双解词典(附光盘第8版)(精)
- 文化苦旅(新版)
- 摆渡人
- 解忧杂货店(精)
- 骆驼祥子
- 曾国藩(又笨又慢平天下)
- 查令十字街84号(珍藏版)(精)
推荐书目
-
孩子你慢慢来/人生三书 华人世界率性犀利的一枝笔,龙应台独家授权《孩子你慢慢来》20周年经典新版。她的《...
-
时间简史(插图版) 相对论、黑洞、弯曲空间……这些词给我们的感觉是艰深、晦涩、难以理解而且与我们的...
-
本质(精) 改革开放40年,恰如一部四部曲的年代大戏。技术突变、产品迭代、产业升级、资本对接...