计算理论本科课程中研究过程的实践经验

计算理论（ToC）课程是许多本科计算机科学培养方案中的核心内容，因其奠定了计算机科学对学生而言为何重要的基础。尽管并非明确目标，该课程一个不可避免的产出是提升学生的技术阅读与写作能力，因为课程常包含形式化推理与证明撰写。另一方面，许多本科生对开展研究感兴趣，却往往缺乏这些能力。基于这一观察，我们在 ToC 课程中模拟了常见研究环境，设计了模拟会议作业：学生以小组形式撰写解决指定问题的技术论文，并 individually（个人）匿名评审其他小组的论文。本文中我们讨论该作业的细节与我们的经验，并以相关反思及类似课程的未来工作作结。