在2023CS Rankings排名中，CMU以绝对性的优势连续11年蝉联榜单第一，其CS的专业实力有目共睹。
不久前，CMU计算机学院官网发布了一份新生必读计算机书单，均由学校教授出品，想学计算机编程入门计算机赛事的同学一定不要错过哦！
感兴趣的同学快来扫码领取电子书吧~
下面小林给大家简单介绍一下这几本推荐书籍~
《Mind Children》
作者：Hans Moravec
作者莫拉维克任职于卡内基梅隆大学，是位深受景仰的机器人学科学家。他在20世纪80年代晚期悄悄写成了这本书，提出人类种族的末日预言。
这本书并没有预言我们会动用核武器自毁，或者自行造出疾病，失控蔓延导致灭亡，也没说自我复制纳米技术会摧毁我们这个物种。事实上，莫拉维克提出的预言是，我们会被自己的发明给彻底毁灭，而机器人则会成为首选。
《Robot》
作者：Hans Moravec
作者在书中阐释之后会开展一个新的技术世代，加上现今的改变速度又很快，到了21世纪中期，很可能就会脱缰自行发展。
其过程想必就是，我们会推动机器人攀登演化阶梯，约以十年为期逐步进展，让它们变得更聪明、更有活动性，也更像我们，总有一天，机器会变得比创造它们的人类更高明，也更能适应环境。
《Theories of Programming Languages》
作者：John C. Reynolds
这本教科书于1998年首次出版，对编程语言的设计、定义和实现以及指定和证明程序行为的系统的理论基础进行了广泛但严格的调查。
命令式编程和函数式编程都包括在内，以及将这些方面集成到更通用的语言中的方法。认识到在程序设计语言研究的多样性下技术的统一性，作者对该学科的基本原理进行了综合处理。他确定了相对较少的概念，如组合语义、绑定结构、域、转换系统和推理规则，这些概念是该领域的基础。
《Mechanics of Robotic Manipulation》
作者：Mason, Matthew T.
《机器人操纵力学》讲述了机器人操纵的一种形式，移动物体，以及所涉及的各种过程——抓握、搬运、推动、放下、投掷等等。
与大多数关于这一主题的书不同，它关注的是操纵，而不是操纵器。这种对过程而非设备的关注允许采用更基本的方法，从而产生适用于广泛设备的结果，而不仅仅是机械臂。这本书借鉴了经典力学和经典规划，其中引入了不完美信息的元素。
《Multimodal Video Characterization & Summarization》
作者：Smith, Michael A. / Kanade, Takeo
多模式视频表征和摘要对于视频领域的专业人士和学者来说都是一个有价值的研究工具。本书描述了使用多模式音频、图像和文本技术来表征视频内容的方法。
这项新的突破性科学在视频理解方面取得了许多进步，例如视频摘要的开发。描述了创建视频摘要的应用程序和方法，以及用于评估和测试的用户研究。
当然，理论知识必不可少，具体实践也同样重要，想要在计算机赛事中一举拔得头筹，翰林助你一臂之力！
*以上学术挑战活动主办方为海外机构，不与任何中国的大学、中学或小学升学加分活动挂钩，其成绩不会作为任何中国中小学升学或评优的依据，仅定位为针对中学数学爱好者的课外兴趣活动和国际数学教学交流活动。
更多赛事活动及课程信息
可扫描文中二维码咨询顾问老师
