离散数学简明教程(双语版普通高等院校公共基础课程系列教材)(汉英)编者:成科扬//肖文//张建明|责编:吴梦佳清华大学9787302641445全新正版
￥ 63.01 9.1折 ￥ 69 全新
库存2件
河南平顶山
认证卖家担保交易快速发货售后保障
作者编者:成科扬//肖文//张建明|责编:吴梦佳
出版社清华大学
ISBN9787302641445
出版时间2023-10
装帧平装
开本其他
定价69元
货号31928459
上书时间2024-11-29
- 最新上架
商品详情
- 品相描述：全新
- 商品描述
-
作者简介
成科扬，江苏大学计算机学院副教授，中国多媒体专委会委员。
目录
Part Ⅰ Mat ematlcal Logic
Chapter 1 Propositional Logic
1.1 Propositions and Connectives
1.2 Propositional Formula and Translation
1.3 Truth Tables and Equivalent Formulas
1.4 Tautology and Implication
1.5 Duality and Normal Form
1.6 The Reasoning Theory of Propositional Calculus
1.7 Application of Propositional Logic
Exercises
Chapter 2 Predicate Logic
2.1 Predicate and Quantifier
2.2 Predicate Formula and Translation
2.3 Constraints on Variables
2.4 Equivalence and Implication of Predicate Calculus
2.5 Prenex Normal Forms
2.6 Inference Theory of Predicate Calculus
2.7 Application of Predicate Logic
Exercises
Part Ⅱ Set Theory
Chapter 3 Set and Relation
3.1 The Concept and Representation of the Set
3.2 Operation of Set
3.3 Inclusion Exclusion Principle
3.4 Ordered Pair and Cartesian Product
3.5 Relation and Its Nature
3.6 Inverse and Compound Relations
3.7 Closure Operations
3.8 Equivalence Relation and Compatible Relation
3.9 Partial Order Relation
3.10 Application of Set and Relation
Exercises
Chapter 4 Function
4.1 The Concept and Representation of Function
4.2 Inverse Function and Compound Function
4.3 The Concept of Characteristic Function and Fuzzy Subset
4.4 Common Functions
Exercises
Part Ⅲ The Algebraic Structure
Chapter 5 Algebra System
5.1 The Introduction of Algebraic Systems
5.2 Operations and Properties of Algebraic Systems
5.3 Homomorphism and Isomorphism of Algebraic Systems
5.4 Congruence and Quotient Algebra
5.5 Product Algebra
Exercises
Chapter 6 Group
6.1 Semigroup
6.2 Group and Subgroup
6.3 Homomorphism and Isomorphism of Groups
6.4 Abelian Groups and Cyclic Groups
Exercises
Chapter 7 Lattice and Boolean Algebra
7.1 The Concept and Properties ot\" Lattice
7.2 Distributive Lattice
7.3 Complemented Lattice
7.4 Boolean Algebra
7.5 Boolean Expression
Exercises
Part Ⅳ Graph Theory
Chapter 8 Basic Concepts of Graphs
8.1 Concept of Graph
8.2 Subgraph and Isomorphic Graph
8.3 Path and Loop
8.4 Matrix Representation of Graph
Exercises
Chapter 9 Euler Graph and Hamiltonian Graph
9.1 Euler Graph
9.2 Hamiltonian Graph
9.3 Application of Euler Graph and Hamiltonian Graph
Exercises
Chapter 10 Planar Graph
10.1 Basic Concepts of the Planar Graph
10.2 Euler Formula and Judgment of Planar Graph
10.3 Dual Graph and Properties
10.4 Application of the Planar Graph
Exercises
Chapter 11 Tree
11.1 The Concept and Properties of Trees
11.2 Spanning Tree
11.3 Directed Tree
11.4 Root Trees and Their Applications
Exercises
Reference
内容摘要
本书是作者团队结合多年教学实践经验与科学研究成果，在力求通俗易懂、简
明扼要的指导思想下编写而成的。本书共11章，内容包含数理逻辑、集合与关系、
函数、代数结构、图和树等。本书体系严谨、文字精练、内容充实、例题丰富，配套丰富的教学资源，适合高校教学使用。除此之外，本书综合国内外离散数学的相关新资料，采用双语的形式，从而培养读者的外文科技
文献阅读能力。
本书适合高等院校计算机及相关专业作为“离散数学”课程的教材使用，也可以作为对离散数学感兴趣的读者的入门参考用书。
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价