扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
中医基础理论
-
>
高校军事课教程
-
>
思想道德与法治(2021年版)
-
>
毛泽东思想和中国特色社会主义理论体系概论(2021年版)
-
>
中医内科学·全国中医药行业高等教育“十四五”规划教材
-
>
中医诊断学--新世纪第五版
-
>
中药学·全国中医药行业高等教育“十四五”规划教材
离散数学简明教程(双语版) 版权信息
- ISBN：9787302641445
- 条形码：9787302641445 ; 978-7-302-64144-5
- 装帧：平装-胶订
- 册数：暂无
- 重量：暂无
- 所属分类：>>
离散数学简明教程(双语版) 本书特色
《离散数学简明教材（英文版）》内容精炼，叙述严谨，推演详尽，大部分概念都用实例说明并配有相当数量的习题。通过离散数学的学习，不但可以掌握处理离散结构的描述工具和方法，为后续课程的学习创造条件，而且可以提高抽象思维和严格的逻辑推理能力，为将来参与创新性的研究和开发工作打下坚实的基础。
离散数学简明教程(双语版) 内容简介
本书是作者团队结合多年教学实践经验与科学研究成果，在力求通俗易懂、简明扼要的指导思想下编写而成的。本书共11章，内容包含数理逻辑、集合与关系、函数、代数结构、图和树等。本书体系严谨、文字精练、内容充实、例题丰富，配套丰富的教学资源，适合高校教学使用。除此之外，本书综合国内外离散数学的相关新资料，采用双语的形式，从而培养读者的外文科技文献阅读能力。 本书适合高等院校计算机及相关专业作为“离散数学”课程的教材使用，也可以作为对离散数学感兴趣的读者的入门参考用书。本书封面贴有清华大学出版社防伪标签，无标签者不得销售。
离散数学简明教程(双语版) 目录
Contents
Part ⅠMathematical Logic
Chapter 1Propositional Logic
1.1Propositions and Connectives
1.2Propositional Formula and Translation
1.3Truth Tables and Equivalent Formulas
1.4Tautology and Implication
1.5Duality and Normal Form
1.6The Reasoning Theory of Propositional Calculus
1.7Application of Propositional Logic
Exercises
Chapter 2Predicate Logic
2.1Predicate and Quantifier
2.2Predicate Formula and Translation
2.3Constraints on Variables
2.4Equivalence and Implication of Predicate Calculus
2.5Prenex Normal Forms
2.6Inference Theory of Predicate Calculus
2.7Application of Predicate Logic
Exercises
Part ⅡSet Theory
Chapter 3Set and Relation
3.1The Concept and Representation of the Set
3.2Operation of Set
3.3Inclusion Exclusion Principle
3.4Ordered Pair and Cartesian Product
3.5Relation and Its Nature
3.6Inverse and Compound Relations
3.7Closure Operations
3.8Equivalence Relation and Compatible Relation
3.9Partial Order Relation
3.10Application of Set and Relation
Exercises
Chapter 4Function
4.1The Concept and Representation of Function
4.2Inverse Function and Compound Function
4.3The Concept of Characteristic Function and Fuzzy Subset
4.4Common Functions
Contents目录Exercises
Part ⅢThe Algebraic Structure
Chapter 5Algebra System
5.1The Introduction of Algebraic Systems
5.2Operations and Properties of Algebraic Systems
5.3Homomorphism and Isomorphism of Algebraic Systems
5.4Congruence and Quotient Algebra
5.5Product Algebra
Exercises
Chapter 6Group
6.1Semigroup
6.2Group and Subgroup
6.3Homomorphism and Isomorphism of Groups
6.4Abelian Groups and Cyclic Groups
Exercises
Chapter 7Lattice and Boolean Algebra
7.1The Concept and Properties of Lattice
7.2Distributive Lattice
7.3Complemented Lattice
7.4Boolean Algebra
7.5Boolean Expression
ExercisesPart ⅣGraph TheoryChapter 8Basic Concepts of Graphs
8.1Concept of Graph
8.2Subgraph and Isomorphic Graph
8.3Path and Loop
8.4Matrix Representation of Graph
Exercises
Chapter 9Euler Graph and Hamiltonian Graph
9.1Euler Graph
9.2Hamiltonian Graph
9.3Application of Euler Graph and Hamiltonian Graph
Exercises
Chapter 10Planar Graph
10.1Basic Concepts of the Planar Graph
10.2Euler Formula and Judgment of Planar Graph
10.3Dual Graph and Properties
10.4Application of the Planar Graph
Exercises
Chapter 11Tree
11.1The Concept and Properties of Trees
11.2Spanning Tree
11.3Directed Tree
11.4Root Trees and Their Applications
Exercises Reference目录
第1篇数 理 逻 辑
第1章命题逻辑
1.1命题与联结词
1.2命题公式与翻译
1.3真值表与等价公式
1.4重言式与蕴含式
1.5对偶与范式
1.6命题演算的推理理论
1.7命题逻辑的应用
习题
第2章谓词逻辑
2.1谓词与量词
2.2谓词公式与翻译
2.3变元的约束
2.4谓词演算的等价式与蕴含式
2.5前束范式
2.6谓词演算的推理理论
2.7谓词逻辑的应用
习题
第2篇集 合 论
第3章集合与关系
3.1集合的概念与表示
3.2集合的运算
3.3容斥原理
3.4序偶与笛卡儿积
3.5关系及其性质
3.6关系的逆与复合
3.7关系的闭包运算
3.8等价关系与相容关系
3.9偏序关系
3.10集合与关系的应用
习题
第4章函数
4.1函数的概念与表示
4.2逆函数与复合函数
4.3特征函数与模糊子集的概念
4.4常用函数
习题
Contents目录第3篇代 数 结 构
第5章代数系统
5.1代数系统的引入
5.2代数系统的运算及其性质
5.3代数系统的同态与同构
5.4同余关系与商代数
5.5积代数
习题
第6章群
6.1半群
6.2群与子群
6.3群的同态与同构
6.4阿贝尔群与循环群
习题
第7章格与布尔代数
7.1格的概念与性质
7.2分配格
7.3有补格
7.4布尔代数
7.5布尔表达式
习题第4篇图论第8章图的基本概念
8.1图的概念
8.2子图与图的同构
8.3路与回路
8.4图的矩阵表示
习题
第9章欧拉图与哈密顿图
9.1欧拉图
9.2哈密顿图
9.3欧拉图与哈密顿图的应用
习题
第10章平面图
10.1平面图的基本概念
10.2欧拉公式与平面图的判断
10.3对偶图及其性质
10.4平面图的应用
习题
第11章树
111树的概念与性质
112生成树
113有向树
114根树及其应用
习题参考文献
Part ⅠMathematical Logic
Chapter 1Propositional Logic
1.1Propositions and Connectives
1.2Propositional Formula and Translation
1.3Truth Tables and Equivalent Formulas
1.4Tautology and Implication
1.5Duality and Normal Form
1.6The Reasoning Theory of Propositional Calculus
1.7Application of Propositional Logic
Exercises
Chapter 2Predicate Logic
2.1Predicate and Quantifier
2.2Predicate Formula and Translation
2.3Constraints on Variables
2.4Equivalence and Implication of Predicate Calculus
2.5Prenex Normal Forms
2.6Inference Theory of Predicate Calculus
2.7Application of Predicate Logic
Exercises
Part ⅡSet Theory
Chapter 3Set and Relation
3.1The Concept and Representation of the Set
3.2Operation of Set
3.3Inclusion Exclusion Principle
3.4Ordered Pair and Cartesian Product
3.5Relation and Its Nature
3.6Inverse and Compound Relations
3.7Closure Operations
3.8Equivalence Relation and Compatible Relation
3.9Partial Order Relation
3.10Application of Set and Relation
Exercises
Chapter 4Function
4.1The Concept and Representation of Function
4.2Inverse Function and Compound Function
4.3The Concept of Characteristic Function and Fuzzy Subset
4.4Common Functions
Contents目录Exercises
Part ⅢThe Algebraic Structure
Chapter 5Algebra System
5.1The Introduction of Algebraic Systems
5.2Operations and Properties of Algebraic Systems
5.3Homomorphism and Isomorphism of Algebraic Systems
5.4Congruence and Quotient Algebra
5.5Product Algebra
Exercises
Chapter 6Group
6.1Semigroup
6.2Group and Subgroup
6.3Homomorphism and Isomorphism of Groups
6.4Abelian Groups and Cyclic Groups
Exercises
Chapter 7Lattice and Boolean Algebra
7.1The Concept and Properties of Lattice
7.2Distributive Lattice
7.3Complemented Lattice
7.4Boolean Algebra
7.5Boolean Expression
ExercisesPart ⅣGraph TheoryChapter 8Basic Concepts of Graphs
8.1Concept of Graph
8.2Subgraph and Isomorphic Graph
8.3Path and Loop
8.4Matrix Representation of Graph
Exercises
Chapter 9Euler Graph and Hamiltonian Graph
9.1Euler Graph
9.2Hamiltonian Graph
9.3Application of Euler Graph and Hamiltonian Graph
Exercises
Chapter 10Planar Graph
10.1Basic Concepts of the Planar Graph
10.2Euler Formula and Judgment of Planar Graph
10.3Dual Graph and Properties
10.4Application of the Planar Graph
Exercises
Chapter 11Tree
11.1The Concept and Properties of Trees
11.2Spanning Tree
11.3Directed Tree
11.4Root Trees and Their Applications
Exercises Reference目录
第1篇数 理 逻 辑
第1章命题逻辑
1.1命题与联结词
1.2命题公式与翻译
1.3真值表与等价公式
1.4重言式与蕴含式
1.5对偶与范式
1.6命题演算的推理理论
1.7命题逻辑的应用
习题
第2章谓词逻辑
2.1谓词与量词
2.2谓词公式与翻译
2.3变元的约束
2.4谓词演算的等价式与蕴含式
2.5前束范式
2.6谓词演算的推理理论
2.7谓词逻辑的应用
习题
第2篇集 合 论
第3章集合与关系
3.1集合的概念与表示
3.2集合的运算
3.3容斥原理
3.4序偶与笛卡儿积
3.5关系及其性质
3.6关系的逆与复合
3.7关系的闭包运算
3.8等价关系与相容关系
3.9偏序关系
3.10集合与关系的应用
习题
第4章函数
4.1函数的概念与表示
4.2逆函数与复合函数
4.3特征函数与模糊子集的概念
4.4常用函数
习题
Contents目录第3篇代 数 结 构
第5章代数系统
5.1代数系统的引入
5.2代数系统的运算及其性质
5.3代数系统的同态与同构
5.4同余关系与商代数
5.5积代数
习题
第6章群
6.1半群
6.2群与子群
6.3群的同态与同构
6.4阿贝尔群与循环群
习题
第7章格与布尔代数
7.1格的概念与性质
7.2分配格
7.3有补格
7.4布尔代数
7.5布尔表达式
习题第4篇图论第8章图的基本概念
8.1图的概念
8.2子图与图的同构
8.3路与回路
8.4图的矩阵表示
习题
第9章欧拉图与哈密顿图
9.1欧拉图
9.2哈密顿图
9.3欧拉图与哈密顿图的应用
习题
第10章平面图
10.1平面图的基本概念
10.2欧拉公式与平面图的判断
10.3对偶图及其性质
10.4平面图的应用
习题
第11章树
111树的概念与性质
112生成树
113有向树
114根树及其应用
习题参考文献
展开全部
离散数学简明教程(双语版) 作者简介
成科扬，江苏大学计算机学院副教授，中国多媒体专委会委员。
书友推荐
- >
巴金－再思录
巴金－再思录
¥14.7¥46.0 - >
月亮与六便士
月亮与六便士
¥18.1¥42.0 - >
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
¥13.0¥26.0 - >
小考拉的故事-套装共3册
小考拉的故事-套装共3册
¥36.7¥68.0 - >
李白与唐代文化
李白与唐代文化
¥8.9¥29.8 - >
朝闻道
朝闻道
¥8.8¥23.8 - >
随园食单
随园食单
¥15.4¥48.0 - >
推拿
推拿
¥12.2¥32.0
本类畅销
-
食品添加剂
¥33.5¥45 -
VB语言程序设计
¥29.9¥39.8 -
C语言程序设计习题与实验指导
¥9.1¥18 -
地下建筑结构-(第三版)-(赠课件)
¥49.4¥55 -
模具制图
¥37.8¥49 -
工程机械结构认知
¥10.5¥22
