第一章 数理逻辑

1 命题

2 真值表技术

3 等值公式与永真蕴涵式

4 合取范式与析取范式

5 推导过程

6 胃词与量词

习题

第二章 矩阵

1 矩阵的概念

2 矩阵的运算

3 逆矩阵

4 线性方程组

习题

第三章 集合

1 集合的概念

2 集合的运算

3 集合运算的基本定律

4 集合的直积

5 集合论的悖论

6 多重集合

习题

第四章 关系、函数与基数

1 关系

2 等价关系与相容关系

3 偏序关系与全序关系

4 复合关系与逆关系

5 函数

6 集合的基数

习题