<离散数学>目录

目录

离散数学 - 用语表

DM1 逻辑关系

• DM1.1 联结词

• DM1.2 命题公式

• DM1.3 等值式

• DM1.4 命题逻辑推理

• DM1.5 谓词

---

DM2 集合论

• DM2.1 集合

• DM2.2 集合的基本恒等式

• DM2.3 有序对和笛卡尔积

• DM2.4 二元关系

• DM2.5 关系的表示

• DM2.6 关系的性质

• DM2.7 关系的幂运算和闭包

• DM2.8 等价关系和划分

• DM2.9 序关系

• DM2.10 函数

• DM2.11 自然数

• DM2.12 等势、有穷集、无穷集

• DM2.13 基数

• DM2.14 公理化集合论

---

DM3 图论

• DM3.1 图

• DM3.2 通路、回路

• DM3.3 连通度

• DM3.4 欧拉图、哈密顿图

• DM3.5 树

• DM3.6 图的矩阵表示

• DM3.7 平面图

• DM3.8 着色

• DM3.9 支配集、点覆盖集、点独立集

• DM3.10 边覆盖、匹配

• DM3.11 带权图

---

DM4 代数结构

• DM4.1 代数系统的构成

  • n 元运算

  • 二元运算的算律

  • 二元运算的特异元素

• DM4.2 代数系统

  • 子代数

  • 积代数

  • 同态、同构

  • 同余关系、同余类、商集

  • 商代数

• DM4.3 群、半群、置换群

  • 半群、独异点

  • 群

  • 子群

  • 变换群、置换群

• DM4.4 群的分解

  • 陪集

  • 共轭

  • 正规子群

  • 商群

  • 群的同态

• DM4.5 环和域

  • 环

  • 域

  • 子环

  • 理想

  • 商环

  • 环同态

• DM4.6 格

  • 格

  • 子格、格同态

  • 完备格、理想格

• DM4.7 特殊的格

  • 模格

  • 分配格

  • 有界格、有补格

  • 布尔代数

---