离散数学
| 作者 |
| 杨文国、高华、石莹、吕佳萍、沈晓婧 |
| 丛书名 |
| 高等学校计算机基础教育教材精选 |
| 出版社 |
| 清华大学出版社 |
| ISBN |
| 9787302532743 |
| 简要 |
| 简介 |
| 内容简介 本书主要介绍了离散数学的基本内容和一些简单应用。全书共分5章，分别介绍命题逻辑、谓词逻辑、集合论、二元关系和图论。本书整体结构清晰，概念清楚，重点突出。为了方便学生理解掌握所学知识，本书配有大量习题，分别以判断题、单项选择题、不定项选择题、解答题等形式呈现，题目通俗易懂，做题灵活，方便学生随堂测试。本书是江苏省教育科学“十三五”规划研究课题的专项成果。 本书可以作为本科院校计算机科学与技术、软件工程、医学信息学以及其他理工科专业的教材，也可供喜爱数学的有关人员阅读。 |
| 目录 |
| 离散数学第1章命题逻辑1 1.1命题与表示1 1.2联结词3 1.3命题公式与真值表示5 1.4对偶与范式8 1.5推理13 1.6联结词功能集17 1.7习题18 第2章谓词逻辑22 2.1谓词与命题函数22 2.2谓词公式与翻译24 2.3前束范式28 2.4谓词推理29 2.5习题30 第3章集合论33 3.1集合与表示33 3.2集合运算35 3.3集合的计数与划分40 3.4集合的基数42 3.5习题44 第4章二元关系48 4.1关系及其表示48 4.2关系的性质52 4.3关系的等价57 4.4序关系60 4.5函数62 4.6习题65 第5章图论70 5.1图的概念70 5.2路与回路75 5.3图的矩阵形式78 5.4欧拉图与汉密尔顿图82 5.5平面图与着色83 5.6无向树与生成树87 5.7有向树与应用89 5.8习题94离散数学 |
有问题微信扫码联系