
- 作 者:黄根民编
- 出 版 社:湖南常德师专数学科
- 出版年份:1981
- ISBN:
- 标注页数:247 页
- PDF页数:254 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式,该格式图书只能阅读和打印,不能再次编辑。
2、除分上下册或者多册的情况下,一般PDF页数一定要大于标注页数才建议下单购买。【本资源254 ≥247页】
图书下载及付费说明
1、所有的电子图书为PDF格式,支持电脑、手机、平板等各类电子设备阅读;可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第一章 集合代数 1
1集合的概念 1
2集合的并、交、补运算 7
3包含 11
4差和对称差 12
5直积集 17
习题一 20
第二章 布尔代数的公理系统 26
1公理系 26
2布尔代数的其他性质 27
3公理系的独立性 35
4公理系的完备性 37
5布尔同构和布尔同态 40
习题二 45
第三章 命题代数和逻辑推理 49
1命题代数 49
2蕴涵 52
3真值函数 56
4等值 59
5重言式 61
6推理的形式结构 64
7命题演算的出发点 69
8定理的推演 74
9求否定规则、对偶规则 84
10命题演算的完全性 86
11公理系统的独立性 90
12命题演算的一致性 93
习题三 95
第四章 开关代数 100
1开关与开关代数 100
2各种进位制 107
3各种进位制数之间的转换 117
4开关函数 128
5开关函数的完全性与标准形式 130
6公式化简法 131
7从范式出发化简开关函数的一般方法 135
8用卡诺(karnangh)图化简开关函数 157
9根据给定条件实现开关函数 166
10线路的设计 175
11具有“约束”的开关函数的化简 187
习题四 193
第五章 真值方程 203
1基本概念 203
2 真值方程 212
习题五 223
第六章 格 227
1关系 227
2有序集 229
3链 231
4上界与下界 232
5格 234
6布尔代数 239
7理想 241
习题六 245