离散数学(第8版英文版)/国外计算机科学教材系列
正版保证 新华库房直发 可开电子发票 七天无理由退货让您购物无忧
¥
95.4
7.5折
¥
128
全新
库存2件
作者(美)理查德·约翰逊鲍夫
出版社电子工业
ISBN9787121344671
出版时间2018-07
装帧其他
开本其他
定价128元
货号30215816
上书时间2024-09-03
商品详情
- 品相描述:全新
- 商品描述
-
目录
1 Sets and Logic
1.1 Sets
1.2 Propositions
1.3 Conditional Propositions and Logical Equivalence
1.4 Arguments and Rules of Inference
1.5 Quantifiers
1.6 Nested Quantifiers
Problem-Solving Corner: Quantifiers
Chapter 1 Notes
Chapter 1 Review
Chapter 1 Self-Test
Chapter 1 Computer Exercises
2 Proofs
2.1 Mathematical Systems, Direct Proofs, and Counterexamples
2.2 More Methods of Proof
Problem-Solving Corner: Proving Some Properties of Real Numbers
2.3 Resolution Proofs
2.4 Mathematical Induction
Problem-Solving Corner: Mathematical Induction
2.5 Strong Form of Induction and the Well-Ordering Property
Chapter 2 Notes
Chapter 2 Review
Chapter 2 Self-Test
Chapter 2 Computer Exercises
3 Functions, Sequences, and Relations
3.1 Functions
Problem-Solving Corner: Functions
3.2 Sequences and Strings
3.3 Relations
3.4 Equivalence Relations
Problem-Solving Corner: Equivalence Relations
3.5 Matrices of Relations
3.6 Relational Databases
Chapter 3 Notes
Chapter 3 Review
Chapter 3 Self-Test
Chapter 3 Computer Exercises
4 Algorithms
4.1 Introduction
4.2 Examples of Algorithms
4.3 Analysis of Algorithms
Problem-Solving Corner: Design and Analysis of an Algorithm
4.4 Recursive Algorithms
Chapter 4 Notes
Chapter 4 Review
Chapter 4 Self-Test
Chapter 4 Computer Exercises
5 Introduction to Number Theory
5.1 Divisors
5.2 Representations of Integers and Integer Algorithms
内容摘要
本书从算法分析和问题求解的角度,全面系统地介绍了离散数学的基础概念及相关知识,并在其前一版的基础上进行了修改与扩展。书中通过大量实例,深入浅出地讲解了集合与逻辑,证明,函数、序列与关系,算法,数论,计数方法与鸽巢原理,递推关系,图论,树,网络模型,Boole代数与组合电路,自动机、文法和语言等与计算机科学密切相关的前沿课题,既着重于各部分内容之间的紧密联系,又深入探讨了相关的概念、理论、算法和实际应用。本书内容叙述严谨、推演详尽,各章配有相当数量的习题与书后的提示和答案,为读者迅速掌握相关知识提供了有效的帮助。
— 没有更多了 —
以下为对购买帮助不大的评价