第一章命题逻辑
1.1命题及其表示法
1.2命题等价
1.3重言式与重言蕴含式
1.4对偶与范式
1.5命题演算的推理理论
习题1
第二章谓词逻辑
2.1谓词和量词
2.2谓词公式
2.3公式等价与重言蕴含式
2.4前束范式
2.5谓词演算的推理理论
习题2
第三章集合
3.1集合及集合间的关系
3.2集合代数
3.3幂集与分划
3.4笛卡尔积
习题3
第四章关系
4.1关系
4.2关系的运算
4.3关系的性质
4.4等价关系
4.5偏序
4.6相容关系
习题4
第五章函数
5.1函数
5.2集合的基数
第六章群
6.1运算
6.2半群与独异点
6.3群
6.4子群及其陪集
习题6
第七章环和域
7.1环
7.2子环和理想
7.3域
习题7
第八章格与布尔代数
8.1格的基本概念
8.2子格
8.3特殊的格
8.4布尔代数
习题8
第九章代数系统
9.1代数系统
9.2同态与同构
9.3正规子群与满同态
9.4理想与满同态
习题9
第十章图论
10.1图与子图
10.2开路、回路与连通
10.3图的矩阵表示
10.4欧拉图和哈密顿图
10.5偶图和平面图
10.6树、根树
习题10
主要参考文献
鄂公网安备 42010302001612号 