离散数学

　　本书作为计算机科学与技术专业的基础教材，主要介绍离散数学的基础知识。全书共分四部分，第一部分为数理逻辑，包括命题逻辑与谓词逻辑；第二部分为集合论，包括集合、二元关系与函数；第三部分为代数结构，主要介绍代数系统的基本概念与性质，群、环和域，格及布尔代数；第四部分为图论，包括图的基本概念、一些特殊图及树。.本书凝聚了作者多年教学经验的结晶，行文概念清晰、叙述严谨、内容翔实而又重点突出，是一本难得的上佳之作。本书既可作为高等院校计算机科学与技术及相关专业的本、专科教材，也可供相关专业的自学考试人员、科研人员等参考。

暂缺《离散数学》作者简介

第一篇 数理逻辑.  
第 章 命题逻辑  
1. 1 命题与联结词  
1. 2 命题公式及其分类  
1. 3 等值演算  
1. 4 联结词全功能集  
1. 5 范式  
1. 6 对偶式与蕴涵式  
1. 7 命题逻辑的推理理论  
习题  
第2章 谓词逻辑  
2. 1 谓词逻辑基本概念  
2. 2 谓词公式及其解释  
2. 3 谓词逻辑等值式  
2. 4 前束范式  
2. 5 谓词逻辑的推理理论  
习题  
第二篇 集合论  
第3章 集合  
3. 1 集合的基本概念  
3. 2 集合与集合的关系  
3. 3 集合的基本运算  
3. 4 集合中元素的计数  
习题  
第4章 二元关系  
4. 1 集合的笛卡儿积  
4. 2 关系的基本概念  
4. 3 关系的性质  
4. 4 关系的运算  
4. 5 关系的闭包运算  
4. 6 等价关系和划分  
4. 7 偏序关系  
4. 8 函数的基本概念  
4. 9 函数的运算  
习题  
第三篇 代数结构..  
第5章 代数系统  
5. 1 代数系统的基本概念  
5. 2 二元运算的性质  
5. 3 子代数与积代数  
5. 4 代数系统的同态与同构  
习 题  
第6章 典型代数系统  
6. 1 半群与独异点  
6. 2 群  
6. 3 环与域  
6. 4 格与布尔代数  
习题  
第四篇 图  论  
第7章 图  
7. 1 图的基本概念  
7. 2 回路与连通性  
7. 3 图的矩阵表示  
7. 4 最短路径及关键路径  
习题  
第8章 特殊的图  
8. 1 欧拉图  
8. 2 哈密尔顿图  
8. 3 偶图与匹配  
8. 4 平面图  
习题  
第9章 树  
9. 1 无向树  
9. 2 生成树与最小生成树  
9. 3 根树  
习题  
参考文献