《前沿》论文 发表于 2025-12-26 更新于 2026-06-20 分类于 大学课程 Waline： 本文是北京大学《前沿计算研究实践I》的课程论文。介绍了信息熵、Lambda Calculus、Coq三个方向。