第一章 集合代数 1
1.1 集合的概念 1
1.2 集合的并、交、补、差运算 7
1.3 公理系 16
习题一 32
第二章 逻辑代数的基本理论 38
2.1 逻辑函数 38
2.2 逻辑函数的完全性与标准形式 45
2.3 公式化简法 48
2.4 从范式出发化简逻辑函数的一般方法 53
2.5 卡诺（karnaugh）图化简法 73
习题二 84
第三章 命题代数 90
3.1 命题代数 90
3.2 蕴涵和等值 93
3.3 数学证明 98
3.4 全称命题和特称命题 105
3.5 逻辑方程 109
3.6 重言式 123
习题三 125
第四章 开关代数 131
4.1 开关与开关代数 131
4.2 各种进位制 138
4.3 各种进位制之间的转换 148
4.4 开关函数 160
4.5 根据给定条件实现开关函数 162
4.6 线路的设计 171
4.7 具有约束项的开关函数的化简 183
习题四 189
第五章 电子计算机简介 196
5.1 电子算机的发展概况及运用简介 196
5.2 计算机系统的主要部件及其功能 205
5.3 计算机语言 215
5.4 计算机软件 218
第六章 基本BASIC语言 220
6.1 BASIC语言的基本符号和程序结构 220
6.2 BASIC语言中的一些基本概念 223
6.3 基本语句 228
6.4 分支 244
6.5 循环 255
6.6 数组说明语句 266
6.7 自定义函数语句 273
6.8 转子语句与返回语句 276
习题五 281
附录 格 289
1 关系 289
2 有序集 291
3 链、首元素与末元素 293
4 上界与下界 294
5 格 297
6 布尔代数 302