中心节点：离散数学
第一层：主要分支（与中心节点直接相连）
逻辑与证明
集合论
关系与函数
图论
组合数学
代数结构
离散概率
各分支的详细知识点与关系
1. 逻辑与证明
关键概念：
命题逻辑
谓词逻辑
连接词（与、或、非、蕴含、等价）
量词（全称量词 ∀，存在量词 ∃）
推理规则（假言推理、取拒式等）
证明方法（直接证明、反证法、归纳法）
重要关系：
是...的基础： 命题逻辑 → 谓词逻辑
用于： 反证法 → 证明 √2 是无理数
是...的特例： 数学归纳法 → 良序原理
使用： 所有数学证明 使用 逻辑规则
2. 集合论
关键概念：
集合、元素、子集、幂集
集合运算（并、交、差、补）
笛卡尔积
集合恒等式（德摩根定律）
无限集、可数集、不可数集
重要关系：
是...的基础： 集合论 → 关系， 集合论 → 函数， 集合论 → 图论
定义在...上： 集合运算 定义在...上 集合
产生： 集合 A 和 B 的笛卡尔积 产生 有序对集合 A×B
3. 关系与函数
关键概念：
关系： 自反、对称、反对称、传递
等价关系与等价类
偏序关系与格
函数： 单射、满射、双射
反函数、复合函数
重要关系：
是一种： 等价关系 是一种 关系； 偏序关系 是一种 关系
定义在...上： 关系 定义在...上 集合的笛卡尔积
是特殊的： 函数 是特殊的 关系
用于描述： 等价关系 用于描述 集合的划分
4. 图论
关键概念：
图、顶点、边
图的类型：有向图、无向图、加权图、简单图、完全图
路径、回路、连通性
树、生成树、二叉树
图的遍历：深度优先搜索，广度优先搜索
特殊图：欧拉图、哈密顿图
图匹配、平面图
重要关系：
可以建模为： 社交网络 可以建模为 图； 交通网络 可以建模为 图
是一种： 树 是一种 图
拥有属性： 图 拥有属性 连通性
使用算法： 寻找最短路径 使用算法 Dijkstra 或 BFS
5. 组合数学
关键概念：
计数原理：加法原理、乘法原理
排列与组合
二项式定理
鸽巢原理
容斥原理
生成函数
递推关系
重要关系：
用于解决： 组合数学 用于解决 计数问题
是...的基础： 计数原理 是...的基础 排列与组合
应用于： 容斥原理 应用于 概率论
6. 代数结构
关键概念：
代数系统：封闭性、结合律、单位元、逆元
群、环、域、格
同态、同构
布尔代数
重要关系：
是一种： (ℤ, +) 是一种 群； 布尔代数 是一种 格
抽象自： 群论 抽象自 集合与运算的对称性
应用于： 布尔代数 应用于 数字逻辑电路设计
7. 离散概率
关键概念：
样本空间、事件
概率公理
条件概率、贝叶斯定理
随机变量
期望、方差
伯努利试验、二项分布
重要关系：
建立在...之上： 离散概率 建立在...之上 集合论和组合数学
用于计算： 组合数学 用于计算 离散概率
应用于： 离散概率 应用于 随机算法、机器学习
生成这个知识图谱
