离散数学

　　《离散数学/高等学校计算机基础教育教材精选》主要介绍了离散数学的基本内容和一些简单应用。全书共分5章，分别介绍命题逻辑、谓词逻辑、集合论、二元关系和图论。该书整体结构清晰，概念清楚，重点突出。为了方便学生理解掌握所学知识，《离散数学/高等学校计算机基础教育教材精选》配有大量习题，分别以判断题、单项选择题、不定项选择题、解答题等形式呈现，题目通俗易懂，做题灵活，方便学生随堂测试。《离散数学/高等学校计算机基础教育教材精选》是江苏省教育科学“十三五”规划研究课题的专项成果。《离散数学/高等学校计算机基础教育教材精选》可以作为本科院校计算机科学与技术、软件工程、医学信息学以及其他理工科专业的教材，也可供喜爱数学的有关人员阅读。

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

第1章 命题逻辑
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 集合的基数
3．5 习题
第4章 二元关系
4．1 关系及其表示
4．2 关系的性质
4．3 关系的等价
4．4 序关系
4．5 函数
4．6 习题
第5章 图论
5．1 图的概念
5．2 路与回路
5．3 图的矩阵形式
5．4 欧拉图与汉密尔顿图
5．5 平面图与着色
5．6 无向树与生成树
5．7 有向树与应用
5．8 习题