- 作 者：刘红美编著
- 出 版 社：武汉：华中师范大学出版社
- 出版年份：2009
- ISBN：9787562239918
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
9
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
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