Foundations 知识图谱

整张图是一只星盘。角度表示学科：数学在左翼，理论计算机科学在右翼，都从上方读起。半径表示前置深度：不依赖其他条目的概念贴近圆心，每多一层前置链就向外一环，顶部缺口处的刻度标出深度。每个正式概念只出现一次，按首个所属学科定位；筛选同时识别其所有学科。位置表示编排，不代表相似度或学习先后。

圆点越大，直接关系越多。学科内部的关系沿环弯曲；跨学科的关系先汇入各自学科的入口，再一起穿过中心，所以中心的弦显示学科之间的往来。远观时连线取所属学科的颜色；放大到能分辨单条关系，或者指向、选中一个概念时，连线改用六种关系颜色与线型，并标出方向。

依赖箭头从前置指向后续，分类箭头从一般指向特例；使用与实现保留声明方向。等价与辨析为无向关系，每对只画一次。「只看关联」以所选概念为圆心重排：第一环按它与圆心的关系分区，第二环挂在引出它的第一环概念之后。关联范围沿所选关系双向计算最短跳数，所有连线仍保留原本方向。

跨学科连线指两端没有共同学科的关系。图谱只使用正文明确标注的六类关系，不把学习路线或一般正文链接变成依赖；术语导航页不作为正式节点。下载始终包含完整数据。

• 依赖：前置 → 后续
• 使用：条目 → 使用的工具
• 实现：抽象 → 具体实现
• 分类：一般 → 特例
• 等价：限定层次等价 · 无向
• 辨析：并列辨析 · 无向