《离散数学简明教材（英文版）》内容精炼，叙述严谨，推演详尽，大部分概念都用实例说明并配有相当数量的习题。通过离散数学的学习，不但可以掌握处理离散结构的描述工具和方法，为后续课程的学习创造条件，而且可以提高抽象思维和严格的逻辑推理能力，为将来参与创新性的研究和开发工作打下坚实的基础。

本书是作者团队结合多年教学实践经验与科学研究成果，在力求通俗易懂、简明扼要的指导思想下编写而成的。本书共11章，内容包含数理逻辑、集合与关系、函数、代数结构、图和树等。本书体系严谨、文字精练、内容充实、例题丰富，配套丰富的教学资源，适合高校教学使用。除此之外，本书综合国内外离散数学的相关新资料，采用双语的形式，从而培养读者的外文科技文献阅读能力。
本书适合高等院校计算机及相关专业作为“离散数学”课程的教材使用，也可以作为对离散数学感兴趣的读者的入门参考用书。

PartⅠ MathematicalLogic
Chapter1 PropositionalLogic  2
1.1 PropositionsandConnectives  2
1.2 PropositionalFormulaandTranslation  5
1.3 TruthTablesandEquivalentFormulas  8
1.4 TautologyandImplication  12
1.5 DualityandNormalForm  14
1.6 TheReasoningTheoryofPropositionalCalculus  20
1.7 ApplicationofPropositionalLogic 24
Exercises  27
Chapter2 PredicateLogic  56
2.1 PredicateandQuantifier  56
2.2 PredicateFormulaandTranslation  60
2.3 ConstraintsonVariables  61
2.4 EquivalenceandImplicationofPredicateCalculus  63
2.5 PrenexNormalForms  67
2.6 InferenceTheoryofPredicateCalculus 69
……