逻辑代数pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

逻辑代数PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第一章 集合代数 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