离散数学结构 理论与应用【书内有划线笔记，品相见实拍图】

图书标准信息

• 作者 [美]马利克
• 出版社 高等教育出版社
• 出版时间 2005-07
• 版次 1
• ISBN 9787040167740
• 定价 47.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 649页
• 字数 950千字

【内容简介】

　　离散结构是计算机科学课程体系中的一门重要课程。本书采用一种全新的方法来讲授离散结构课程。本书共分13章。第1章介绍集合理论、逻辑以及算法等方面的基础知识。第2章介绍整数的性质以及归纳法的原理。第3章和第4章详细介绍了关系、部分有序集以及矩阵。第5章详细介绍了函数以及函数与字符串的关系。第6章介绍了同余及其各种应用，如用于构建ISBN、UPC标签、*、循环赛、哈希表和代码字。第7章详细介绍了技术方法。第8章详细介绍递归关系与计数方法。第9章重点介绍算法及其复杂性。第10章详细介绍了图表，包括图论的基本定义和术语。第11章讨论了树、特殊类型的树以及如何确定生成与最小生成树。第12章介绍了布尔代数及其在开关电路和数字电路中的应用。本书中所介绍的方法是两位作者多年教学经验的结晶，采用这种理论与应用相结合的方法，可以提高学生的学习兴趣，降低学习难度。本书包含有大量的示例和练习，有助于学习和巩固一些重要的概念。本书的语言风格与课堂上授课的风格是一致的。

【目录】

　Preface

CHAPTER　1　Foundations:Sets,Logic,andAlgorithms

　1.1　Sets

　1.2　MathematicalLogic

　1.3　ValidityofArguments

　1.4　QuantifiersandFirst-OrderLogic

　1.5　ProofTechniques

　1.6　Algorithms

　ProgrammingExercises

CHAPTER　2　RelationsandPosets

　2.1　Relations

　2.2　PartiallyOrderedSets

　2.3　Application:RelationalDatabase

　ProgrammingExercises

CHAPTER　3　ClosuresofRelations

　3.1　TheMatrixofaRelationandClosures

　ProgrammingExercises

CHAPTER　4　Functions

　4.1　Functions

　4.2　SpecialFunctionsandCardinalityofaSet

　4.3　SequencesandStrings

　4.4　BinaryOperations

　ProgrammingExercises

CHAPTER　5　CountingPrinciples

　5.1　BasicCountingPrinciples

　5.2　PigeonholePrinciple

　5.3　Permutations

　5.4　Combinations

　5.5　GeneralizedPermutationsandCombinations

　5.6　DiscreteProbability

　ProgrammingExercises

CHAPTER　6　RecurrenceRelations

　6.1　SequencesandRecurrenceRelations

　6.2　LinearHomogeneousRecurrenceRelations

　6.3　LinearNonhomogeneousRecurrenceRelations

　ProgrammingExercises

CHAPTER　7　GraphTheory

　7.1　GraphDefinitionandNotations

　7.2　Walks,Paths,andCycles

　7.3　MatrixRepresentationofaGraph

　7.4　SpecialCircuits

　7.5　Isomorphism

　7.6　GraphAlgorithms

　7.7　PlanarGraphsandGraphColoring

　ProgrammingExercises

CHAPTER　8　TreesandNetworks

　8.1　Trees

　8.2　RootedTree

　8.3　SpanningTrees

　8.4　Networks

　ProgrammingExercises

CHAPTER　9　BooleanAlgebraandCombinatorialCircuits

　9.1　Two-ElementBooleanAlgebra

　9.2　BooleanAlgebra

　9.3　LogicalGatesandCombinatorialCircuits

　ProgrammingExercises

Appendix　A

Appendix　B

Appendix　C

Appendix　D

Appendix　E

Answers

ListofSymbols

References

Index