离散数学教程PDF电子书下载

第一篇 集合论 1

第一章 集合及其运算 1

第二章 二元关系 15

第三章 函数 41

第二篇　数理逻辑 71

第四章 命题逻辑 71

第五章 一阶谓词逻辑 104

第六章 逻辑与prolog语言 126

第三篇　组合数学 135

第七章 基本计数原理 135

第八章 递推关系与生成函数 151

第四篇 图论 167

第九章 无向图和有向图 167

第十章 基本图类和算法 202

第五篇 代数系统 248

第十一章 群、环和域 248

第十二章　格与布尔代数 279