定 价：35 元
丛书名：
- 作者：古天龙 ，常亮 著
- 出版时间：2012/7/1
- ISBN：9787302288206
- 出 版 社：清华大学出版社
适用读者:可作为高等院校计算机及相关专业本科生、研究生“离散数学”课程的教材, 也可作为从事计算机及相关领域研究和应用开发人员的参考用书
- 中图法分类：O158
- 页码：361
- 纸张：胶版纸
- 版次：1
- 开本：16开
- 字数：(单位：千字)
离散数学又称离散结构，是研究离散对象的模型、性质及操作的一门学科，是现代数学的一个重要组成部分，是计算机科学与技术的理论基础。《21世纪高等学校规划教材·计算机科学与技术：离散数学》依据ACM和IEEE-CS发布的CC2005教程，以及教育部高等学校计算机科学与技术教学指导委员会制订的计算机科学与技术专业规范，着力使内容和知识体系的设计达到理论与实际结合、抽象与直观统一、局部与整体协调。全书共9章，主要内容包括集合、关系、函数、命题逻辑、谓词逻辑、半群和群、环和域、格和布尔代数、图、树等。
《21世纪高等学校规划教材·计算机科学与技术：离散数学》体系严谨、结构新颖、内容翔实，可作为高等院校计算机及相关专业本科生、研究生“离散数学”课程的教材，也可作为从事计算机及相关领域研究和应用开发人员的参考用书。
《21世纪高等学校规划教材·计算机科学与技术：离散数学》依据教育部计算机科学与技术教学指导委员会制订的专业规范设计课程内容。 依据IEEE/A CM发布的CC200X教程计划组织课程知识体系。 适应计算机类工程应用型人才的教学实施。 着力在“理论一应用”、“抽象一直观”、“局部一整体”等方面形成特色。
第1篇 集合论
第1章 集合
1.1 集合的概念及表示
1.1.1 基本概念
1.1.2 集合的表示
1.2 特殊集合
1.2.1 子集合
1.2.2 幂集合
1.2.3 补集合
1.3 集合的运算
1.3.1 基本运算
1.3.2 运算的性质
1.4 计数问题
1.4.1 基本计数原理
1.4.2 排列与组合
1.4.3 容斥原理
1.5 集合的应用
习题
第2章 关系
2.1 关系的概念及表示
2.1.1 序偶与笛卡儿积
2.1.2 关系的定义
2.1.3 关系的表示
2.2 关系的性质
2.2.1 性质的定义
2.2.2 性质的判别
2.3 关系的运算
2.3.1 基本运算
2.3.2 复合运算
2.3.3 逆运算
2.3.4 幂运算
2.3.5 闭包运算
2.3.6 关系性质的运算封闭性
2.4 特殊关系
2.4.1 等价关系
2.4.2 相容关系
2.4.3 偏序关系
2.5 关系的应用
习题
第3章 函数
3.1 函数的概念
3.1.1 函数的定义
3.1.2 特殊函数
3.2 函数的运算
3.2.1 复合运算
3.2.2 逆运算
3.3 函数的应用
习题
第2篇 数理逻辑
第4章 命题逻辑
4.1 命题逻辑的基本概念
4.1.1 命题
4.1.2 联结词
4.2 命题逻辑公式
4.2.1 命题公式及其解释
4.2.2 命题公式的分类
4.2.3 命题公式的等值式
4.2.4 命题公式的范式
4.3 命题逻辑推理
4.3.1 推理的基本概念
4.3.2 简单证明推理
4.3.3 构造证明推理
4.4 命题逻辑的应用
习题
……
第3篇 抽象代数
第4篇 图论基础
参考文献
精品教材 更多
