- 作 者：（美）门德尔森（Mendelson，E.）著；代正贵，余大海译
- 出 版 社：成都：四川教育出版社
- 出版年份：1985
- ISBN：7344·1
- 标注页数：292 页
- PDF页数：302 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源302 ≥292页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第一章 逻辑代数 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