数理逻辑、集合PDF电子书下载

第一章 数理逻辑 1

1 命题 1

2 真值表技术 14

3 等值公式与永真蕴涵式 18

4 合取范式与析取范式 28

5 推导过程 39

6 胃词与量词 49

习题 66

第二章 矩阵 71

1 矩阵的概念 71

2 矩阵的运算 76

3 逆矩阵 88

4 线性方程组 98

习题 108

第三章 集合 111

1 集合的概念 111

2 集合的运算 118

3 集合运算的基本定律 123

4 集合的直积 131

5 集合论的悖论 134

6 多重集合 136

习题 137

第四章 关系、函数与基数 140

1 关系 140

2 等价关系与相容关系 152

3 偏序关系与全序关系 162

4 复合关系与逆关系 169

5 函数 172

6 集合的基数 186

习题 199