后续课程 数据结构 操作系统 编译理论 算法分析 系统结构 容错判断 机器定理证明 数据库原理 人工智能 ■■■后续课程 数据结构 操作系统 编译理论 算法分析 系统结构 容错判断 机器定理证明 数据库原理 人工智能 …… ……