刘红美编著的《离散数学(英文版)》是信息与计算科学和计算机科学核心课程——离散数学的基础教材。全书共分七章，分别介绍了离散数学的最基本内容：命题逻辑、谓词逻辑、集合理论、关系、图论、树和代数结构。内容叙述严谨，推理详尽。

《离散数学(英文版)》是信息与计算科学和计算机科学核心课程——离散数学的基础教材。全书共分七章，分别介绍了离散数学的最基本内容：命题逻辑、谓词逻辑、集合理论、关系、图论、树和代数结构。内容叙述严谨，推理详尽。

刘红美编著的《离散数学(英文版)》可作为普通高等学校信息与计算科学专业和计算机专业学生离散数学课程的双语教学教材，亦可作为自动控制、电子工程、管理科学等有关专业的教学用书和工作人员的阅读参考。

1．Propositional Logic

1．1 Propositions and Connectives

1．2 Propositional WFF and Assignment

1．3 Prepositional Equivalences

1．4 Disjunefive Normal Form

1．5 Functionally Complete Set of Logical Connecdves

1．6 Rules of Inferenee

2．Predicate Logict

2．1 Predicates and Quanfifiers

2．2 WellFormed Formulas in Predicate Logic

2．3 Equivalent Formulas

2．4 Prenex Normal Form

2．5 Inference Rules in Predicate Calculus．

3．Set Theory

3．1 Sets

3．2 Set Operationst

3．3 Inclusion．Exclusion

4．Relations

4．1 Cartesian Products and Relations

4．2 Properties of Relations

4．3 Representing Relations

4．4 Closure of Relations

4．5 Equivalence Relafons

4．6 Partial Ordenngs

5．Graphst

5．1 Graph Terminology

5．2 Representing Graphs and Graph Isomorphism

5．3 Subgraphs

5．4 Euler and Hamihon Paths

5．5 The Shortest-Path Problem

5．6 Planar Graphs

6．Trees

6．1 Basic Concepts

6．2 Roots and Ordefingst

6．3 Spanning Trees

7．Algebra Structurest

7．1 Basic Concepts

7．2 Groups

7．3 Rings and Fields

7．4 Boolean Algebras

Reftrence．