-
内容大纲
本书是介绍离散数学理论和方法的经典教材,被全球数百所高校采用,获得了极大的成功。第8版做了与时俱进的更新,添加了多重集、字符串匹配算法、同态加密、数据挖掘中的关联规则、语义网络等内容,同时更新了配套教辅资源,成为更加实用的教学工具。本书可作为1~2个学期的离散数学课程教材,适用于数学、计算机科学、计算机工程、信息技术等专业的学生。
本书特色:
例题:共800多道例题,用于阐明概念、建立不同主题之间的关联以及介绍实际应用。
应用:涉及的领域包括计算机科学、数据网络、心理学、化学、工程学、语言学、生物学、商业和因特网等,展示了离散数学的实用性。
算法:每一章都介绍了一些关键算法,提供伪代码,并简要分析其计算复杂度。
历史资料:给出了89位数学家和计算机科学家的简短传记,帮助读者了解不同技术的历史背景和发展轨迹。
练习、复习题和补充练习:共有4200多道难度各异的练习题,可以满足不同层次学生的需求。此外,还有一些研究性题目,帮助学生通过计算来探索新知识和新想法。 -
作者介绍
肯尼思·H.罗森(Kenneth H.Rosen),于1972年获密歇根大学安娜堡分校数学学士学位,1976年获麻省理工学院数学博士学位。Rosen曾就职于科罗拉多大学、俄亥俄州立大学、缅因大学和蒙茅斯大学,教授离散数学、算法设计和计算机安全方面的课程;他还曾加盟贝尔实验室,并且是AT&T贝尔实验室的杰出技术人员。他的著作《初等数论及其应用》和《离散数学及其应用》均被翻译成多种语言,在全球数百所大学中广为采用。 -
目录
1 The Foundations: Logic and Proofs
1.1 Propositional Logic
1.2 Applications of Propositional Logic
1.3 Propositional Equivalences
1.4 Predicates and Quantifiers
1.5 Nested Quantifiers
1.6 Rules of Inference
1.7 Introduction to Proofs
1.8 Proof Methods and Strategy
End-of-Chapter Material
2 Basic Structures: Sets, Functions, Sequences, Sums and Matrices
2.1 Sets
2.2 Set Operations
2.3 Functions
2.4 Sequences and Summations
2.5 Cardinality of Sets
2.6 Matrices
End-of-Chapter Material
3 Algorithms
3.1 Algorithms
3.2 The Growth of Functions
3.3 Complexity of Algorithms
End-of-Chapter Material
4 Number Theory and Cryptography
4.1 Divisibility and Modular Arithmetic
4.2 Integer Representations and Algorithms
4.3 Primes and Greatest Common Divisors
4.4 Solving Congruences
4.5 Applications of Congruences
4.6 Cryptography
End-of-Chapter Material
5 Induction and Recursion
5.1 Mathematical Induction
5.2 Strong Induction and Well-Ordering
5.3 Recursive Definitions and Structural Induction
5.4 Recursive Algorithms
5.5 Program Correctness
End-of-Chapter Material
6 Counting
6.1 The Basics of Counting
6.2 The Pigeonhole Principle
6.3 Permutations and Combinations
6.4 Binomial Coefficients and Identifies
6.5 Generalized Permutations and Combinations
6.6 Generating Permutations and Combinations
End-of-Chapter Material
7 Discrete Probability
7.1 An Introduction to Discrete Probability
7.2 Probability Theory
7.3 Bayes' Theorem
7.4 Expected Value and Variance
End-of-Chapter Material
8 Advanced Counting Techniques
8.1 Applications of Recurrence Relations
8.2 Solving Linear Recurrence Relations
8.3 Divide-and-Conquer Algorithms and Recurrence Relations
8.4 Generating Functions
8.5 Inclusion-Exclusion
8.6 Applications of Inclusion-Exclusion
End-of-Chapter Material
9 Relations
9.1 Relations and Their Properties
9.2 n-ary Relations and Their Applications
9.3 Representing Relations
9.4 Closures of Relations
9.5 Equivalence Relations
9.6 Partial Orderings
End-of-Chapter Material
10 Graphs
10.1 Graphs and Graph Models
10.2 Graph Terminology and Special Types of Graphs
10.3 Representing Graphs and Graph Isomorphism
10.4 Connectivity
10.5 Euler and Hamilton Paths
10.6 Shortest-Path Problems
10.7 Planar Graphs
10.8 Graph Coloring
End-of-Chapter Material
11 Trees
11.1 Introduction to Trees
11.2 Applications of Trees
11.3 Tree Traversal
11.4 Spanning Trees
11.5 Minimum Spanning Trees
End-of-Chapter Material
12 Boolean Algebra
12.1 Boolean Functions
12.2 Representing Boolean Functions
12.3 Logic Gates
12.4 Minimization of Circuits
End-of-Chapter Material
13 Modeling Computation
13.1 Languages and Grammars
13.2 Finite-State Machines with Output
13.3 Finite-State Machines with No Output
13.4 Language Recognition
13.5 Turing Machines
End-of-Chapter Material
Appendices
1 Axioms for the Real Numbers and the Positive Integers
2 Exponential and Logarithmic Functions
3 Pseudocode
Suggested Readings B-1
Answers to Odd-Numbered Exercises S-1
Index of Biographies I-1
Index I-2
同类热销排行榜
- 目送/人生三书
-
21世纪的《背影》 + 感人至深的“生死笔记”+ 龙应台亲手摄影 + 跨三代共读的人生之书! 华人世界率性犀利的一枝笔,龙应台独家...
- 顾城的诗(金版)(精)/蓝星诗库
- 人类群星闪耀时(插图本)/译林名著精选
- 牛津高阶英汉双解词典(附光盘第8版)(精)
- 文化苦旅(新版)
- 摆渡人
- 解忧杂货店(精)
- 骆驼祥子
- 曾国藩(又笨又慢平天下)
- 查令十字街84号(珍藏版)(精)
推荐书目
-
孩子你慢慢来/人生三书 华人世界率性犀利的一枝笔,龙应台独家授权《孩子你慢慢来》20周年经典新版。她的《...
-
时间简史(插图版) 相对论、黑洞、弯曲空间……这些词给我们的感觉是艰深、晦涩、难以理解而且与我们的...
-
本质(精) 改革开放40年,恰如一部四部曲的年代大戏。技术突变、产品迭代、产业升级、资本对接...