离散数学结构:理论与应用(影印版)

分類: 图书,自然科学,数学,数学理论,
作者: (美)马利克(Malik,D.S.)著
出 版 社: 高等教育出版社
出版时间: 2005-7-1字数: 950000版次: 1页数: 649印刷时间: 2005/07/01开本: 16开印次: 1纸张: 胶版纸I S B N : 9787040167740包装: 平装内容简介
离散结构是计算机科学课程体系中的一门重要课程。本书采用一种全新的方法来讲授离散结构课程。本书共分13章。第1章介绍集合理论、逻辑以及算法等方面的基础知识。第2章介绍整数的性质以及归纳法的原理。第3章和第4章详细介绍了关系、部分有序集以及矩阵。第5章详细介绍了函数以及函数与字符串的关系。第6章介绍了同余及其各种应用,如用于构建ISBN、UPC标签、信用卡、循环赛、哈希表和代码字。第7章详细介绍了技术方法。第8章详细介绍递归关系与计数方法。第9章重点介绍算法及其复杂性。第10章详细介绍了图表,包括图论的基本定义和术语。第11章讨论了树、特殊类型的树以及如何确定生成与最小生成树。第12章介绍了布尔代数及其在开关电路和数字电路中的应用。本书中所介绍的方法是两位作者多年教学经验的结晶,采用这种理论与应用相结合的方法,可以提高学生的学习兴趣,降低学习难度。本书包含有大量的示例和练习,有助于学习和巩固一些重要的概念。本书的语言风格与课堂上授课的风格是一致的。
目录
Preface
CHAPTER1Foundations:Sets,Logic,andAlgorithms
1.1Sets
1.2MathematicalLogic
1.3ValidityofArguments
1.4QuantifiersandFirst-OrderLogic
1.5ProofTechniques
1.6Algorithms
ProgrammingExercises
CHAPTER2RelationsandPosets
2.1Relations
2.2PartiallyOrderedSets
2.3Application:RelationalDatabase
ProgrammingExercises
CHAPTER3ClosuresofRelations
3.1TheMatrixofaRelationandClosures
ProgrammingExercises
CHAPTER4Functions
4.1Functions
4.2SpecialFunctionsandCardinalityofaSet
4.3SequencesandStrings
4.4BinaryOperations
ProgrammingExercises
CHAPTER5CountingPrinciples
5.1BasicCountingPrinciples
5.2PigeonholePrinciple
5.3Permutations
5.4Combinations
5.5GeneralizedPermutationsandCombinations
5.6DiscreteProbability
ProgrammingExercises
CHAPTER6RecurrenceRelations
6.1SequencesandRecurrenceRelations
6.2LinearHomogeneousRecurrenceRelations
6.3LinearNonhomogeneousRecurrenceRelations
ProgrammingExercises
CHAPTER7GraphTheory
7.1GraphDefinitionandNotations
7.2Walks,Paths,andCycles
7.3MatrixRepresentationofaGraph
7.4SpecialCircuits
7.5Isomorphism
7.6GraphAlgorithms
7.7PlanarGraphsandGraphColoring
ProgrammingExercises
CHAPTER8TreesandNetworks
8.1Trees
8.2RootedTree
8.3SpanningTrees
8.4Networks
ProgrammingExercises
CHAPTER9BooleanAlgebraandCombinatorialCircuits
9.1Two-ElementBooleanAlgebra
9.2BooleanAlgebra
9.3LogicalGatesandCombinatorialCircuits
ProgrammingExercises
AppendixA
AppendixB
AppendixC
AppendixD
AppendixE
Answers
ListofSymbols
References
Index