第一章 进位制 1
1.1 如何选择计算机中的进位制 1
1.2 二进制数的运算 9
1.3 不同进位制数间的转换方法 15
1.4 关于数制转换的若干定理 26
第二章 集合代数 32
2.1 集合及其运算 32
2.2 集合代数的概念 40
2.3 集合恒等式的证明 48
第三章 逻辑代数 65
3.1 命题 65
3.2 命题运算 69
3.3 逻辑式、逻辑函数及其真值表 80
3.4 逻辑代数及其基本定律 92
3.5 逻辑函数的完全性、全功能运算的集合 99
3.6 标准形和范式 106
3.7 逻辑表达式的化简 127
3.8 蕴含关系及蕴含定律 136
第四章 开关代数及其应用 141
4.1 开关电路与开关代数 141
4.2 卡诺图化简法 154
4.3 开关代数在逻辑设计中的应用 170
第五章 代数系统的概念 189
5.1 群、环和域 189
5.2 代数系统的同构 199
5.3 集合代数和逻辑代数的同构 204
第六章 一般布尔代数的定义及性质 208
6.1 二元关系与等价关系 208
6.2 偏序关系和格 220
6.3 格的概念及其性质 229
6.4 布尔格和布尔代数 238
6.5 有限布尔代数的唯一性 248
第七章 电子计算机简介 258
7.1 电子计算机的发展史和分类 258
7.2 电子计算机的发展趋势及应用 263
7.3 电子计算机的组成及工作原理 268
7.4 程序设计初步 283
7.5 软件概述 299