第一章 进位制 1
1.1 二进制及其算术运算 1
目录 1
1.2 不同进位制数间的转换方法 7
1.3 关于数制转换的若干定理 14
1.4 计算机中数的表示形式及运算 20
第二章 集合代数 25
2.1 集合与集合代数 25
2.2 集合恒等式的证明 33
3.1 命题及其运算 46
第三章 逻辑代数 46
3.2 逻辑式、逻辑函数及其真值表 56
3.3 逻辑代数的概念 67
3.4 标准形和完全性 73
3.5 最小项和范式 80
3.6 逻辑表达式的化简 95
第四章 命题代数及其在数学推理中的应用 104
4.1 蕴涵关系及蕴涵定律 104
4.2 数学命题 108
4.3 数学推理 118
4.4 逻辑方程 125
第五章 开关代数及其在逻辑设计中的应用 137
5.1 开关电路与开关代数 137
5.2 卡诺图化简法 146
5.3 开关代数在逻辑设计中的应用 161
第六章 一般布尔代数 175
6.1 二元关系与等价关系 175
6.2 偏序关系和格 184
6.3 格的概念及其性质 194
6.4 布尔格和布尔代数 203
6.5 有限布尔代数的唯一性 212
第七章 电子计算机简介 222
7.1 电子计算机发展概况 222
7.2 电子计算机的组成及工作原理 227
7.3 软件概述 242
第八章 基本BASIC语言 253
8.1 BASIC的基本概念 253
8.2 BASIC的基本语句 258
8.3 如何用BASIC语言编程序 283
8.4 BASIC程序的写入、修改和执行 297