我们从理论中学到了什么？.pdfVIP

专栏 第 15 卷  第11 期  2019 年 11 月　 The CS David 专栏 CCCF 2019 年第 11 期 我们从理论中学到了什么？ 关键词 ： 计算机理论　计算机体系结构 与许多领域不同，计算机科学与理论之间的关 许多达 100 种，”她说。由于他们的测试平台需要4 系相对简单。这一学科的许多基本要素，例如数据 个小时来配置和测试系统的一个版本，她意识到， 结构、算法和体系结构都以数学原型的形态存在， 他们可能面临着6~8 周的额外工作。 可以通过抽象、分析、推理和符号计算进行充分的 我安静地坐在那里听完她的演讲。对于该项目 研究。然而，与其他植根于工程领域的学科一样， 而言，这是一个非常重要的环节，不应被一个可能 计算机科学有很强的避开理论的经验主义元素。例 会在讨论中引入疑虑的评论打断。这个项目的领导 如，绝大多数的软件开发人员从技术环境中掌握他 者显然没有学会排列组合的基础数学知识，如果她 们的技能，他们可能自学过基础知识，从事过开源 熟悉相关