|
內容簡介: |
《离散数学(英文版)》是信息与计算科学和计算机科学核心课程——离散数学的基础教材。全书共分七章,分别介绍了离散数学的最基本内容:命题逻辑、谓词逻辑、集合理论、关系、图论、树和代数结构。内容叙述严谨,推理详尽。
刘红美编著的《离散数学(英文版)》可作为普通高等学校信息与计算科学专业和计算机专业学生离散数学课程的双语教学教材,亦可作为自动控制、电子工程、管理科学等有关专业的教学用书和工作人员的阅读参考。
|
目錄:
|
1.PropositionalLogic
1.1PropositionsandConnectives
1.2PropositionalWFFandAssignment
1.3PrepositionalEquivalences
1.4DisjunefiveNormalForm
1.5FunctionallyCompleteSetofLogicalConnecdves
1.6RulesofInferenee
2.PredicateLogict
2.1PredicatesandQuanfifiers
2.2WellFormedFormulasinPredicateLogic
2.3EquivalentFormulas
2.4PrenexNormalForm
2.5InferenceRulesinPredicateCalculus.
3.SetTheory
3.1Sets
3.2SetOperationst
3.3Inclusion.Exclusion
4.Relations
4.1CartesianProductsandRelations
4.2PropertiesofRelations
4.3RepresentingRelations
4.4ClosureofRelations
4.5EquivalenceRelafons
4.6PartialOrdenngs
5.Graphst
5.1GraphTerminology
5.2RepresentingGraphsandGraphIsomorphism
5.3Subgraphs
5.4EulerandHamihonPaths
5.5TheShortest-PathProblem
5.6PlanarGraphs
6.Trees
6.1BasicConcepts
6.2RootsandOrdefingst
6.3SpanningTrees
7.AlgebraStructurest
7.1BasicConcepts
7.2Groups
7.3RingsandFields
7.4BooleanAlgebras
Reftrence.
|
|