← 返回课程

离散数学 · 原理可视化

每个核心知识点一个动画讲解，共 45 个 —— 点击放大观看。

L1 命题逻辑基础3

第1章真值表自动构造器

第1章五个联结词真值实验台

第1章自然语言符号化

L2 命题公式与等值演算3

第1章等值演算步进器

第1章主析取与主合取范式

第1章归结树生长

L3 命题逻辑公理系统2

第1章公理系统证明 ⊢P→P

第1章演绎定理：前提内化

L4 命题可满足性SAT1

第1章DPLL 求解 SAT

L5 谓词逻辑基础3

第1章量词辖域与约束/自由出现

第1章量词顺序 ∀∃ 与 ∃∀

第1章解释下求真值

L6 谓词演算3

第1章量词否定内移

第1章量词推理规则 US/UG/ES/EG

第1章前束范式与 Skolem 化

L7 谓词逻辑公理系统2

第1章一阶逻辑永真推理证明

第1章量词对 ∧/∨ 的分配律

S1 集合基本概念3

第2章文氏图与容斥原理

第2章幂集生成器与子集哈斯图

第2章冯·诺依曼自然数套娃

S2 关系6

第2章Warshall 传递闭包

第2章自反/对称/传递闭包

第2章关系合成与布尔矩阵乘法

第2章哈斯图化简

第2章等价关系与划分

第2章偏序集特殊元与上下确界

S3 函数3

第2章函数判定器：全域性与单值性

第2章单射、满射与双射

第2章函数合成与求逆

S4 实数与基数3

第2章康托配对 ℕ×ℕ≈ℕ

第2章ℕ≈ℤ 与希尔伯特旅馆

第2章康托对角线法

G1 图的基本概念3

第3章握手定理

第3章图的同构判定

第3章邻接矩阵与 A² 通路计数

G2 道路与回路4

第3章欧拉回路一笔画

第3章中国邮递员问题

第3章哈密顿回路搜索

第3章Dijkstra 最短路径

G3 树3

第3章Kruskal vs Prim 最小生成树

第3章Huffman 树

第3章破圈法求最短树

G4 平面图3

第3章欧拉公式 n−m+d=2

第3章K₅ 与 K₃,₃ 不可平面

第3章五色定理 · Kempe 链