×
暂无评论
图文详情
  • ISBN:9787519248512
  • 装帧:一般胶版纸
  • 册数:暂无
  • 重量:暂无
  • 开本:24cm
  • 页数:16,492页
  • 出版时间:2018-10-01
  • 条形码:9787519248512 ; 978-7-5192-4851-2

本书特色

《离散数学概要》是一部教材,初版于2008年,这是第3版。主要面向计算机和数学等相关专业本科生,学时一个学期。本书旨在指导学生深入理解建立在数学复杂性之上的离散数学的基本理论,内容涉及逻辑思维,关系思维,递归式思维,数量思维和分析思维等5部分内容。为便于读者快速了解全书内容,该书开头首先引入核心和辅助内容树图,算法理论出现在书的后半部分。书中有大量应用实例,*后一章介绍离散数学在生物、社会学、语言学、经济学等领域的应用。

内容简介

《离散数学概要》是一部教材,初版于2008年,这是第3版。主要面向计算机和数学等相关专业本科生,学时一个学期。本书旨在指导学生深入理解建立在数学复杂性之上的离散数学的基本理论,内容涉及逻辑思维,关系思维,递归式思维,数量思维和分析思维等5部分内容。为便于读者快速了解全书内容,该书开头首先引入核心和辅助内容树图,算法理论出现在书的后半部分。书中有大量应用实例,*后一章介绍离散数学在生物、社会学、语言学、经济学等领域的应用。

目录

PrefaceHow to Use This BookChapter 1 Logical Thinking 1.1 Formal Logic 1.1.1 Inquiry Problems 1.1.2 Connectives and Propositions 1.1.3 Truth Tables 1.1.4 Logical Equivalences Exercises 1.1 1.2 Propositional Logic 1.2.1 Tautologies and Contradictions 1.2.2 Derivation Rules 1.2.3 Proof Sequences 1.2.4 Forward-Backward Exercises 1.2 1.3 Predicate Logic 1.3.1 Predicates 1.3.2 Quantifiers 1.3.3 Translation 1.3.4 Negation 1.3.5 Two Common Constructions Exercises 1.3 1.4 Logic in Mathematics 1.4.1 The Role of Definitions in Mathematics 1.4.2 Other Types of Mathematical Statements 1.4.3 Counterexamples 1.4.4 Axiomatic Systems Exercises 1.4 1.5 Methods of Proof 1.5.1 Direct Proofs 1.5.2 Proof by Contraposition 1.5.3 Proof by Contradiction Exercises 1.5Chapter 2 Relational Thinking 2.1 Graphs 2.1.1 Edges and Vertices 2.1.2 Terminology 2.1.3 Modeling Relationships with Graphs Exercises 2.1 2.2 Sets 2.2.1 Membership and Containment 2.2.2 New Sets from Old 2.2.3 Identities Exercises 2.2 2.3 Functions 2.3.1 Definition and Examples 2.3.2 One-to-One and Onto Functions 2.3.3 New Functions from Old Exercises 2.3 2.4 Relations and Equivalences 2.4.1 Definition and Examples 2.4.2 Graphs of Relations 2.4.3 Relations vs. Functions 2.4.4 Equivalence Relations 2.4.5 Modular Arithmetic Exercises 2.4 2.5 Partial Orderings 2.5.1 Definition and Examples 2.5.2 Hasse Diagrams 2.5.3 Topological Sorting 2.5.4 Isomorphisms 2.5.5 Boolean Algebras* Exercises 2.5 2.6 Graph Theory 2.6.1 Graphs: Formal Definitions …… Chapter 3 Recursive ThinkingChapter 4 Quantitative ThinkingChapter 5 Analytical ThinkingChapter 6 Thinking Through ApplicationsHints, Answers, and solutions to selected ExercisesSelected ReferencesIndexIndex of Symbols
展开全部

作者简介

David J. Hunter(D.J.亨特,美国)本书作者是美国威斯蒙特学院(Westmont College)教授。

预估到手价 ×

预估到手价是按参与促销活动、以最优惠的购买方案计算出的价格(不含优惠券部分),仅供参考,未必等同于实际到手价。

确定
快速
导航