离散数学
2009-8
刘红美 华中师范大学出版社 (2009-08出版)
刘红美
241
《离散数学(英文版)》是信息与计算科学和计算机科学核心课程——离散数学的基础教材。全书共分七章，分别介绍了离散数学的最基本内容：命题逻辑、潮逻辑、集合理论、关系、图论、树和布尔代数。内容叙述严谨，推理详尽。《离散数学(英文版)》适合作为普通高等学校信息与计算科学专业和计算机专业学生离散数学课程的双语教学教材，亦可作为自动控制、电子工程、管理科学等有关专业的教学用书和工作人员的阅读参考。
1. Propositional Logic 1.1 Propositions and Connectives 1.2 Propositional WFF and Assignment 1.3 Propositional Equivalences 1.4 Disjunctive Normal Form 1.5 Functionally Complete Set of Logical Connectives 1.6 Rules of Inference2. Predicate Logic 2.1 Predicates and Quantifiers 2.2 Well-Formed Formulas in Predicate Logic 2.3 Equivalent Formulas 2.4 Prenex Normal Form 2.5 Inference Rules in Predicate Calculus3. Set Theory 3.1 Sets 3.2 Set Operations 3.3 Inclusion-Exclusion4. Relations 4.1 Cartesian Products and Relations 4.2 Properties of Relations 4.3 Representing Relations 4.4 Closure of Relations 4.5 Equivalence Relations 4.6 Partial Orderings5. Graphs 5.1 Graph Terminology 5.2 Representing Graphs and Graph Isomorphism 5.3 Subgraphs 5.4 Euler and Hamilton Paths 5.5 The Shortest-Path Problem 5.6 Planar Graphs6. Trees 6.1 Basic Concepts 6.2 Roots and Orderings 6.3 Spanning Trees7. Boolean Algebras 7.1 Basic Concepts 7.2 Boolean Functions 7.3 Logic Gates 7.4 Minimization of CircuitsReference
《离散数学(英文版)》作为一个学期离散数学英语教学的教材，是作者经过多年教学实践，对讲义反复增删提炼的结晶。考虑到课时的限制，《离散数学(英文版)》仅包含离散数学的最基本内容：命题逻辑、谓词逻辑、集合理论、关系、图论、树和布尔代数。《离散数学(英文版)》力求语言流畅、通俗易懂、简明精练。为方便初次接触数学英语的同学，书中配有部分常用专业词汇的中文解释。《离散数学(英文版)》适合作为普通高等学校计算机类和工程类本、专科生的离散数学外语或双语教学教材，亦可作为其他相关专业的教学用书和工作人员的阅读参考。
