| 开本：3开 |
| 纸张：胶版纸 |
| 包装：平装 |
| 是否套装：否 |
| 国际标准书号ISBN：9787302705345 |
| 所属分类：图书>自然科学>数学>数学理论 |
可开发票，保证正版商品详情
书名 离散数学（第版）
出版社 清华大学出版社
出版日期
号
本书根据、等要求，系统地阐述离散数学的经典内容全书共章，内容包括集合、映射与运算，关系，命题逻辑，谓词逻辑，初等数论，图论基础，几类特殊的图，组合计数和代数结构各章的每一节都提供了精选习题，书后提供了部分习题的答案及提示本书以集合、映射、运算和关系为主线，内容联系紧密，叙述详尽，通俗易懂，结构严谨，逻辑清晰，便于自学本书可作为高等学校计算机及相关专业“离散数学”课程的教材，也可供参加相关专业研究生入学考试者及程序员参考
作为规划教材，教学配套资源丰富，得到社会广泛认可。
目录
第章集合、映射与运算
集合的有关概念
集合
子集
幂集
元组
笛卡儿积
习题
映射的有关概念
映射的定义
映射的性质
逆映射
复合映射
习题
运算的定义及性质
运算的定义
运算的性质
习题
集合的运算
并运算
交运算
补运算
差运算
对称差运算
习题
集合的划分与覆盖
集合的划分
集合的覆盖
习题
集合对等
集合对等的定义
无限集合
集合的基数
可数集合
不可数集合
基数的比较
习题
本章小结第章关系
关系的概念
元关系的定义
二元关系
关系的定义域和值域
关系的表示
函数的关系定义
习题
关系的运算
关系的集合运算
关系的逆运算
关系的复合运算
关系的其他运算
习题
关系的性质
自反性
反自反性
对称性
反对称性
传递性
习题
关系的闭包
自反闭包
对称闭包
传递闭包
习题
等价关系
等价关系的定义
等价类
习题
相容关系
相容关系的定义
相容类
习题
偏序关系
偏序关系的定义
偏序集的哈斯图
偏序集中的特殊元素
习题
本章小结第章命题逻辑
命题的有关概念
习题
逻辑联结词
否定联结词瘙绨
合取联结词∧
析取联结词∨
异或联结词
条件联结词→
双条件联结词
与非联结词↑
或非联结词↓
条件否定联结词
习题
命题公式及其真值表
命题公式的定义
命题的符号化
命题公式的真值表
命题公式的类型
习题
逻辑等值的命题公式
逻辑等值的定义
基本等值式
等值演算法
对偶原理
习题
命题公式的范式
命题公式的析取范式及合取范式
命题公式的主析取范式及主合取范式
习题
联结词集合的功能完备性
联结词的个数
功能完备联结词集
习题
命题逻辑中的理
逻辑蕴涵的命题公式
理形式有效性的定义
命题逻辑的自然理系统
习题
本章小结第章谓词逻辑
个体、谓词、量词和函词
个体
谓词
量词
函词
习题
谓词公式及命题的符号化
谓词公式
命题的符号化
习题
谓词公式的解释及类型
谓词公式的解释
谓词公式的类型
习题
逻辑等值的谓词公式
谓词公式等值的定义
基本等值式
习题
谓词公式的前束范式
谓词公式的前束范式的定义
谓词公式的前束范式的计算
习题
谓词逻辑中的理
逻辑蕴涵式
基本理规则
谓词逻辑的自然理系统
习题
常用证明方法
书名 离散数学（第版）
出版社 清华大学出版社
出版日期
号
本书根据、等要求，系统地阐述离散数学的经典内容全书共章，内容包括集合、映射与运算，关系，命题逻辑，谓词逻辑，初等数论，图论基础，几类特殊的图，组合计数和代数结构各章的每一节都提供了精选习题，书后提供了部分习题的答案及提示本书以集合、映射、运算和关系为主线，内容联系紧密，叙述详尽，通俗易懂，结构严谨，逻辑清晰，便于自学本书可作为高等学校计算机及相关专业“离散数学”课程的教材，也可供参加相关专业研究生入学考试者及程序员参考
作为规划教材，教学配套资源丰富，得到社会广泛认可。
目录
第章集合、映射与运算
集合的有关概念
集合
子集
幂集
元组
笛卡儿积
习题
映射的有关概念
映射的定义
映射的性质
逆映射
复合映射
习题
运算的定义及性质
运算的定义
运算的性质
习题
集合的运算
并运算
交运算
补运算
差运算
对称差运算
习题
集合的划分与覆盖
集合的划分
集合的覆盖
习题
集合对等
集合对等的定义
无限集合
集合的基数
可数集合
不可数集合
基数的比较
习题
本章小结第章关系
关系的概念
元关系的定义
二元关系
关系的定义域和值域
关系的表示
函数的关系定义
习题
关系的运算
关系的集合运算
关系的逆运算
关系的复合运算
关系的其他运算
习题
关系的性质
自反性
反自反性
对称性
反对称性
传递性
习题
关系的闭包
自反闭包
对称闭包
传递闭包
习题
等价关系
等价关系的定义
等价类
习题
相容关系
相容关系的定义
相容类
习题
偏序关系
偏序关系的定义
偏序集的哈斯图
偏序集中的特殊元素
习题
本章小结第章命题逻辑
命题的有关概念
习题
逻辑联结词
否定联结词瘙绨
合取联结词∧
析取联结词∨
异或联结词
条件联结词→
双条件联结词
与非联结词↑
或非联结词↓
条件否定联结词
习题
命题公式及其真值表
命题公式的定义
命题的符号化
命题公式的真值表
命题公式的类型
习题
逻辑等值的命题公式
逻辑等值的定义
基本等值式
等值演算法
对偶原理
习题
命题公式的范式
命题公式的析取范式及合取范式
命题公式的主析取范式及主合取范式
习题
联结词集合的功能完备性
联结词的个数
功能完备联结词集
习题
命题逻辑中的理
逻辑蕴涵的命题公式
理形式有效性的定义
命题逻辑的自然理系统
习题
本章小结第章谓词逻辑
个体、谓词、量词和函词
个体
谓词
量词
函词
习题
谓词公式及命题的符号化
谓词公式
命题的符号化
习题
谓词公式的解释及类型
谓词公式的解释
谓词公式的类型
习题
逻辑等值的谓词公式
谓词公式等值的定义
基本等值式
习题
谓词公式的前束范式
谓词公式的前束范式的定义
谓词公式的前束范式的计算
习题
谓词逻辑中的理
逻辑蕴涵式
基本理规则
谓词逻辑的自然理系统
习题
常用证明方法