- 作 者：刘红美编著
- 出 版 社：武汉：华中师范大学出版社
- 出版年份：2009
- ISBN：9787562239918
- 标注页数：242 页
- PDF页数：251 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源251 ≥242页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
1．Propositional Logic 1
1.1 Propositions and Connectives 2
1.2 Propositional WFF and Assignment 10
1.3 Propositional Equivalences 15
1.4 Disjunctive Normal Form 23
1.5 Functionally Complete Set of Logical Connectives 32
1.6 Rules of Inference 34
2．Predicate Logic 43
2.1 Predicates and Quantifiers 44
2.2 Well-Formed Formulas in Predicate Logic 53
2.3 Equivalent Formulas 60
2.4 Prenex Normal Form 67
2.5 Inference Rules in Predicate Calculus 71
3．Set Theory 80
3.1 Sets 80
3.2 Set Operations 85
3.3 Inclusion-Exclusion 92
4．Relations 98
4.1 Cartesian Products and Relations 98
4.2 Properties of Relations 103
4.3 Representing Relations 109
4.4 Closure of Relations 117
4.5 Equivalence Relations 129
4.6 Partial Orderings 136
5．Graphs 151
5.1 Graph Terminology 152
5.2 Representing Graphs and Graph Isomorphism 159
5.3 Subgraphs 167
5.4 Euler and Hamilton Paths 176
5.5 The Shortest-Path Problem 191
5.6 Planar Graphs 195
6．Trees 202
6.1 Basic Concepts 202
6.2 Roots and Orderings 205
6.3 Spanning Trees 214
7．Boolean Algebras 224
7.1 Basic Concepts 225
7.2 Boolean Functions 229
7.3 Logic Gates 232
7.4 Minimization of Circuits 234
Reference 242