本地导入书籍的 AI 翻译功能
仅支持付费会员使用
仅支持付费会员使用
微信扫码开通付费会员
一键翻译全文
一键翻译全文
本书已下架
内容不再支持阅读
离散数学及其应用
吴奕 李琼 胡福林
- 扉页
- 目 录+书签
- 集 合
- 1.1集合的基本概念
- 1.1.1集合的定义
- 1.1.2集合与元素的关系
- 1.1.3集合与集合的关系
- 1.1.4几种特殊集合
- 1.1.5集合的基数
- 1.2集合的运算
- 1.2.1并运算
- 1.2.2交运算
- 1.2.3补运算
- 1.2.4差运算
- 1.2.5对称差运算
- 1.2.6集合间的等值式
- 1.3 有限集合中元素的计数
- 1.3.1 文氏图法计数
- 1.3.2 容斥原理
- 1.4集合在信息学科中的应用
- 本章总结
- 习题
- 兴趣阅读
- 关系
- 2.1关系的概念
- 2.1.1序偶
- 2.1.2 笛卡尔积
- 2.1.3关系的定义
- 2.1.4 关系的定义域与值域
- 2.1.5关系的表示方法
- 2.2 关系的运算
- 2.2.1关系的集合运算
- 2.2.2关系的逆运算
- 2.2.3关系的复合运算
- 2.2.4关系的幂运算
- 2.3 关系的性质
- 2.3.1自反性与反自反性
- 2.3.2对称性与反对称性
- 2.3.3传递性
- 2.4关系的闭包
- 2.5等价关系
- 2.5.1等价关系的定义
- 2.5.2 等价关系的划分
- 2.6 偏序关系
- 2.6.1 偏序的定义及表示
- 2.6.2偏序关系的哈斯图
- 2.6.3偏序关系的特殊元素
- 2.6.4 全序和良序。
- 2.7 关系的应用
- 本章总结
- 习题
- 兴趣阅读
- 函 数
- 3.1函数的定义与类型
- 3.1.1函数的定义
- 3.1.2函数的类型
- 3.2函数的运算
- 3.2.1函数的复合运算
- 3.2.2函数的逆运算
- 3.3 函数的应用
- 本章总结
- 习题
- 兴趣阅读
- 命题逻辑
- 4.1 命题与联结词
- 4.1.1 命题
- 4.1.2 联结词
- 4.1.3 语句的符号化
- 4.2 命题公式及其分类
- 4.2.1 命题公式与真值表
- 4.2.2 命题公式的分类
- 4.3 命题公式的等值
- 4.3.1 等值式
- 4.3.2 用真值表判断公式的等值
- 4.3.3 等值演算
- 4.3.4 对偶式
- 4.3.5 等值演算的应用
- 4.4 范式
- 4.4.1 析取范式和合取范式
- 4.4.2 主析取范式与主合取范式
- 4.4.3 主范式的应用
- 4.5 推理理论
- 4.5.1 命题的蕴含关系
- 4.5.2 形式证明
- 4.6命题逻辑的应用
- 本章总结
- 习题
- 兴趣阅读
- 谓词逻辑
- 5.1谓词逻辑的基本概念
- 5.1.1 个体词
- 5.1.2 谓词
- 5.1.3 量词
- 5.1.4 命题符号化
- 5.2 谓词公式与类型
- 5.2.1 谓词公式
- 5.2.2 谓词公式的解释
- 5.2.3 谓词公式的类型
- 5.3 谓词逻辑等值式
- 5.3.1 基本等值式
- 5.3.2 基本规则
- 5.3.3 等值演算
- 5.4 谓词逻辑的前束范式
- 5.5 谓词演算的推理规则
- 5.5.1 推理定律
- 5.5.2 推理规则
- 5.6 谓词逻辑的应用
- 本章总结
- 习题
- 兴趣阅读
- 图论
- 6.1图的基本概念
- 6.1.1图的定义
- 6.1.2邻接与关联
- 6.1.3顶点的度
- 6.1.4图的分类
- 6.1.5图的同构
- 6.2图的连通性
- 6.2.1通路与回路
- 6.2.2无向图的连通性
- 6.3 图的矩阵表示
- 6.3.1图的关联矩阵
- 6.3.2图的邻接矩阵
- 6.3.3 图的可达矩阵
- 6.4图的应用
- 本章总结
- 习题
- 兴趣阅读
- 特殊图
- 7.1欧拉图
- 7.2哈密顿图
- 7.3 二部图
- 7.4 树
- 7.5特殊图的应用
- 本章总结
- 习题
- 兴趣阅读
- 代数系统
- 8.1 代数系统的概念
- 8.1.1 代数运算
- 8.1.2 代数系统
- 8.2 代数运算的性质
- 8.2.1 基本性质
- 8.2.2 特殊元素
- 8.3 半群和群
- 8.3.1 半群
- 8.3.2 群
- 8.3.3 特殊群
- 8.4 环和域
- 8.4.1 环
- 8.4.2 域
- 8.5 格与布尔代数
- 8.5.1 格
- 8.5.2 几种特殊格
- 8.5.3 布尔代数
- 8.6代数系统的应用
- 本章总结
- 习题
- 兴趣阅读
- 参考文献
离散数学及其应用
已读到0% · 共0条笔记
你可以在这里记录本书的
想法、划线、书签
想法、划线、书签