当前位置:首页 > 数理化
布尔代数与开关电路的理论和习题
布尔代数与开关电路的理论和习题

布尔代数与开关电路的理论和习题PDF电子书下载

数理化

  • 电子书积分:11 积分如何计算积分?
  • 作 者:(美)门德尔森(Mendelson,E.)著;代正贵,余大海译
  • 出 版 社:成都:四川教育出版社
  • 出版年份:1985
  • ISBN:7344·1
  • 页数:292 页
图书介绍:
《布尔代数与开关电路的理论和习题》目录

第一章 逻辑代数 1

1.1 真值函数运算 1

1.2 联结词 4

1.3 语句式 5

1.4 括号 5

1.5 真值表 6

1.6 重言式和矛盾式 8

1.7 逻辑蕴涵和逻辑等价 11

1.8 析取范式 15

1.9 联结词完全组 19

第二章 集合代数 39

2.1 集合 39

2.2 集合的相等和包含、子集 40

2.3 空集、子集合的数目 41

2.4 并 42

2.5 交 43

2.7 全集、补 45

2.6 差和对称差 45

2.8 集合关系的推导 47

2.9 命题逻辑和集合代数 49

2.10 有序对、映射 49

2.11 有穷集、无穷集、可列集和可数集 51

2.12 集域 52

2.13 有穷集的元素个数 53

第三章 布尔代数 68

3.1 运算 68

3.2 布尔代数公理 68

3.3 子代数 75

3.4 偏序 77

3.5 布尔表达式和布尔函数、范式 80

3.6 同构 83

3.7 布尔代数和命题逻辑 86

第四章 开关电路和逻辑电路 96

4.1 开关电路 96

4.2 电路的简化 97

4.3 桥式电路 100

4.4 逻辑电路 101

4.5 二进位数制 103

4.6 多输出逻辑电路 104

4.7 极小化 106

4.8 无关条件 109

4.9 极小析取范式 111

4.10 素项 111

4.11 求全体素项的蒯因-麦克拉斯基(Quine-McCluskey)方法 113

4.12 素项表 118

4.13 有无关条件的极小化问题 125

4.14 一致法求素项 127

4.15 一致法求极小析取范式 130

4.16 卡诺(Karnaugh)图 134

4.17 有无关条件的卡诺图 140

4.18 极小范式 141

5.1 格 170

第五章 布尔代数续论 170

5.2 原子 173

5.3 对称差、布尔环 176

5.4 另一公理系统 182

5.5 理想 186

5.6 商代数 190

5.7 布尔表示定理 193

5.8 无穷交和无穷并 195

5.9 对偶性 197

5.10 无穷分配性 198

5.11 m—完备性 201

附录A 括号的省略 249

附录B 无括号表示法 256

附录C 选择公理蕴涵曹恩(Zorn)引理 260

附录D 薛德尔—伯恩斯泰因(Schr?der-Bernstein)定理的格论证明 263

书目 265

中英名词索引 282

符号和缩写 292

返回顶部