离散数学 · 算法演算
亲手逐步演算课程核心算法 —— 共 5 个交互式演算器，自己输入数据、看每一步怎么算。
输入任意命题公式，实时生成真值表、判定重言/矛盾/可满足，并给出主析取/主合取范式。
点选关系矩阵，实时判自反/对称/传递等性质，一键求三种闭包、画哈斯图、分等价类。
拖点连边画图，实时显示度数序列与欧拉/哈密顿判定，选算法（Dijkstra/Kruskal/Prim）单步执行。
输入 CNF 子句集，看单元传播、决策、冲突、回溯逐步求解 SAT。
输入谓词公式，逐步消 →、¬ 内移、改名、量词前移得前束范式，再 Skolem 化。