离散数学
作 者： 蔡俊亮 著
出版时间：2014
丛编项： 新世纪高等学校教材
内容简介
本书从数理逻辑、集合论、代数结构、组合数学、图论、初等数论等方面阐述。全书既有严谨的、系统的理论阐述，也选配了大量的典型例题与练习。各章内容按照模块化组织，可以适应不同的教学要求。作者是咱的“十二五”普通高等教育本科国家级规划教材《高等数学B》（上下册）的作者。
目录
第一章命题逻辑
1.1命题与联结词
1.2命题公式及解释
1.3联结词扩充与全功能集
1.4范式
1.5公式类型的判别方法
1.6推理论
习题一
第二章谓词逻辑
2.1谓词逻辑基本概念与表示
2.2合式公式与解释
2.3前束范式
2.4谓词逻辑推理论
习题二
第三章集合论
3.1集合的关系与运算
3.2集合的运算
3.3容斥原理及其应用
习题三
第四章关系
4.1序偶与笛卡儿积
4.2关系的概念、性质及运算
习题四
第五章映射
5.1映射的概念
5.2映射的运算
5.3可数集和不可数集
5.4基数的比较
习题五
第六章代数结构
6.1代数运算
6.2代数系统
6.3运算的性质
6.4同态与同构
习题六
第七章群论
7.1半群与群
7.2变换群与置换群
7.3子群与循环群
7.4陪集和不变子群
7.5商群与群的同态
习题七
第八章特殊代数系统
8.1环和域
8.2格
8.3布尔代数
习题八
第九章图的基本概念
9.1图的表示
9.2图的同构
9.3路与连通性
9.4有向图
习题九
第十章Euler图与Hamilton图
10.1Euler图
10.2Hamilton图
10.3中同邮路问题
习题十
第十一章树和林
11.1树及其特性
11.2支撑树
11.3支撑树的数目
11.4根树及其应用
习题十一
第十二章平面图
12.1平图及其对偶
12.2图的平面性判定
12.3五色定理与四色猜想
习题十二
部分习题参考答案与提示
索引
参考文献
