第一篇 数理逻辑 3
第1章 命题逻辑 3
一、内容提要 3
二、学习要求 3
目录 3
三、习题及其参考解答 4
一、内容提要 26
二、学习要求 26
第2章 谓词逻辑 26
三、习题及其参考解答 27
第二篇 集合论 47
第3章 集合论的公理系统 47
一、内容提要 47
二、学习要求 48
三、习题及其参考解答 48
第4章 关系与函数 60
一、内容提要 60
二、学习要求 60
三、习题及其参考解答 61
一、内容提要 88
二、学习要求 88
三、习题及其参考解答 88
第5章 序数与基数 88
第6章 选择公理与无穷集合 95
一、内容提要 95
二、学习要求 95
三、习题及其参考解答 95
二、学习要求 101
三、习题及其参考解答 101
第7章 计数原理与技术 101
一、内容提要 101
第三篇 计数 101
第8章 离散概率 107
一、内容提要 107
二、学习要求 107
三、习题及其参考解答 108
二、学习要求 115
一、内容提要 115
第9章 整数与整除 115
第四篇 数论与算法 115
三、习题及其参考解答 116
第10章 整数与算法 124
一、内容提要 124
二、学习要求 124
三、习题及其参考解答 124
第11章 数论应用 127
一、内容提要 127
二、学习要求 127
三、习题及其参考解答 128
第五篇 代数结构 133
第12章 代数结构基本概念及性质 133
一、内容提要 133
二、学习要求 133
三、习题及其参考解答 134
一、内容提要 142
二、学习要求 142
第13章 半群与群 142
三、习题及其参考解答 143
第14章 环和域 154
一、内容提要 154
二、学习要求 154
三、习题及其参考解答 155
第15章 布尔代数 167
一、内容提要 167
二、学习要求 167
三、习题及其参考解答 168
第六篇 图论 183
第16章 图的基本概念及其矩阵表示 183
一、内容提要 183
二、学习要求 183
三、习题及其参考解答 184
第17章 几类重要的图 198
一、内容提要 198
二、学习要求 199
三、习题及其参考解答 199