《布尔方法论》求取 ⇩

目录1

第一章　布尔代数1

1.1　二值布尔代数B21

1.2　格7

1.3　布尔代数B15

1.4　布尔函数20

1.5　布尔矩阵和布尔行列式25

第二章　组合逻辑电路31

2.1　门电路31

2.2　组合电路化简33

2.3　B2上单调分解45

2.4　单调分解的其它结果70

第三章　布尔方程和布尔不等式85

3.1　真值方程85

3.2　布尔方程与／或布尔不等式组的单一方程型96

3.3　一元布尔方程98

3.4　n元布尔方程101

3.5 通解的L？wonhein形式111

3.6　平方布尔方程113

3.7　平方布尔方程解的积式参数表示122

第四章　线性伪布尔方程和线性伪布尔不等式130

4.1　伪布尔函数130

4.2　线性伪布尔方程133

4.3　线性伪布尔不等式140

4.4　线性伪布尔方程与／或线性伪布尔不等式组153

4.5 R．Fortet和P.Camion方法159

第五章　非线性伪布尔方程和非线性伪布尔不等式168

5.1　线性条件下的特征函数168

5.2　非线性伪布尔方程，非线性伪布尔不等式的特征函数170

5.3　多种条件组合下的特征函数179

5.4　特征函数的互不相交形式184

5.5　R．Fortet和P.Camion方法188

5.6　伪布尔函数的线性逼近192

5.7　伪布尔函数的高次逼近203

6.1　线性伪布尔函数的极小化210

第六章　伪布尔函数的极小化210

6.2　P.Camion方法220

6.3　基本算法——无约束条件的极小化225

6.4　基本算法的推广——有约束条件的极小化236

6.5　有约束条件极小化的其它解法243

第七章　其它极值问题256

7.1　伪布尔函数的局部极值256

7.2　伪布尔函数的近似最小272

7.3　分式伪布尔规划274

7.4　双重极值284

7.5　平方伪布尔函数的极值288

第八章　广义布尔函数316

8.1　记号和概念316

8.2　结构和计数327

8.3　集合运算下的广义布尔函数333

8.4　一元广义布尔函数340

8.5 ｛0,1｝——广义布尔函数347

9.1　基本概念363

第九章 图论中的布尔方法363

9.2　哈密顿路和哈密顿圈377

9.3　（p,q）全图387

9.4　稳定集和核391

9.5　图的着色分解和四色定理411

9.6　匹配、分离集、亏和临界集421

9.7　相异代表组428

第十章　多个领域中的布尔方法436

10.1　偏序集和B2的最小链分解436

10.2　生产计划调度446

10.3　时间表的安排453

10.4　最小纠错码457

10.5　决策过程的求解460

10.6　布尔函数的变元可分离分解468

10.7　有限自动机的极小化478

10.8　神经网络487

10.9　故障检测522

参考文献534