点击购买此书全本PDF电子书
第一篇 集合论 1
第一章 集合及其运算 1
第二章 二元关系 15
第三章 函数 41
第二篇 数理逻辑 71
第四章 命题逻辑 71
第五章 一阶谓词逻辑 104
第六章 逻辑与prolog语言 126
第三篇 组合数学 135
第七章 基本计数原理 135
第八章 递推关系与生成函数 151
第四篇 图论 167
第九章 无向图和有向图 167
第十章 基本图类和算法 202
第五篇 代数系统 248
第十一章 群、环和域 248
第十二章 格与布尔代数 279