《逻辑代数和电子计算机简介》

第一章　集合代数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