父图谱

计算科学 计算机科学

子图谱

计算复杂性理论 编程语言理论 信息与编码理论 形式验证 学习理论 NOIP（全国青少年信息学奥林匹克联赛） 同伦类型论（HoTT） 算法与数据结构 计算几何 计算理论