第一章 集合代数 1
1.1 集合的定义和表示法 1
1.2 两集合间的关系 6
1.3 集合间的运算 8
1.4 集合运算的规律 12
1.5 集合代数的一些推导 17
1.6 应用 25
第二章 命题代数 38
2.1 命题 38
2.2 真值联结词 40
2.3 命题代数 44
2.4 蕴涵 50
2.5 命题演算（二值代数） 61
2.6由前提所作出的推论 67
2.7 永真公式的公理系统 73
2.8 传统逻辑的推导 76
第三章 开关代数 85
3.1 开关与开关电路 85
3.2 开关电路的规律 90
3.3 二进制与三进制 95
3.4 线路的设计 119
3.5 线路简化的基本原则 129
3.6 卡诺图 135
第四章 对应与函数 递归函数 144
4.1 对应 144
4.2 无穷集合 148
4.3 变数与函数 153
4.4 递归函数 161
4.5 递归关系 173
4.6 可计算性 177
第五章 电子计算机简介 185
5.1 概述 185
5.2 数的运算 188
5.3 基本逻辑元件 193
5.4 硬件的基本结构 202
5.5 指令系统和程序设计 211
5.6 程序设计语言 221
5.7 操作系统 236
附录 习题、总复习题答案 241