《逻辑代数与电子计算机简介 （高师内部交流教材）》

第一章二进制2

1.1 常用十进计数制及其推广2

1.2 二进制数4

1.3 八进制数7

1.4 化十进制数为二进制数9

1.5 关于数制转换的几个定理14

1.6 二进制数的算术运算21

1.7 8—4—2—1编码 定点数浮点数24

习题一31

第二章逻辑代数的基本理论34

2.1 集合及集合代数34

2.2 逻辑代数的定义44

2.3 命题及其运算49

2.4 逻辑函数与逻辑式57

2.5 命题运算的规律和命题代数61

2.6 逻辑代数的三个基本定理和常用等值公式64

2.7 逻辑函数的完备性70

2.8 谓词和量词简介75

习题二85

第三章逻辑式的化简92

3.1 逻辑式的标准式和范式92

32公式化简法103

3.3 从范式出发化简逻辑式106

3.4 真值图化简法119

习题三126

第四章逻辑代数的应用130

4.1 逻辑推理130

4.2 逻辑方程138

4.3 逻辑设计147

习题四169

第五章电子计算机简介178

5.1 电子计算机的发展概况和应用简介178

5.2 电子计算机的组成部分及其功能183

5.3 电子计算机的解题过程 软件概述189

习题五199

第六章BASIC算法语言201

6.1 引言201

6.2 基本符号和基本概念204

6.3 基本语句213

6.4 分支程序228

6.5 循环程序236

6.6 子程序245

6.7 程序的组织249

习题六253

附录一格与布尔代数258

1 半序关系与半序集258

2 上界与下界263

3 格265

4 分配格271

5 布尔代数274

参考练习277

附录二通用真值框280