编著还有：李丽双、李洋、王春立、赵铭伟

目录
第一篇 数理逻辑
第1章 命题逻辑
一、 内容提要
二、 学习要求
三、 习题及其参考解答
第2章 谓词逻辑
一、 内容提要
二、 学习要求
三、 习题及其参考解答
第二篇 集合论
第3章 集合论的公理系统
一、 内容提要
二、 学习要求
三、 习题及其参考解答
第4章 关系与函数
一、 内容提要
二、 学习要求
三、 习题及其参考解答
第5章 序数与基数
一、 内容提要
二、 学习要求
三、 习题及其参考解答
第6章 选择公理与无穷集合
一、 内容提要
二、 学习要求
三、 习题及其参考解答
第三篇 计数
第7章 计数原理与技术
一、 内容提要
二、 学习要求
三、 习题及其参考解答
第8章 离散概率
一、 内容提要
二、 学习要求
三、 习题及其参考解答
第四篇 数论与算法
第9章 整数与整除
一、 内容提要
二、 学习要求
三、 习题及其参考解答
第10章 整数与算法
一、 内容提要
二、 学习要求
三、 习题及其参考解答
第11章 数论应用
一、 内容提要
二、 学习要求
三、 习题及其参考解答
第五篇 代数结构
第12章 代数结构基本概念及性质
一、 内容提要
二、 学习要求
三、 习题及其参考解答
第13章 半群与群
一、 内容提要
二、 学习要求
三、 习题及其参考解答
第14章 环和域
一、 内容提要
二、 学习要求
三、 习题及其参考解答
第15章 布尔代数
一、 内容提要
二、 学习要求
三、 习题及其参考解答
第六篇 图论
第16章 图的基本概念及其矩阵表示
一、 内容提要
二、 学习要求
三、 习题及其参考解答
第17章 几类重要的图
一、 内容提要
二、 学习要求
三、 习题及其参考解答
'