在2023CS Rankings排名中，CMU以絕對性的優(yōu)勢連續(xù)11年蟬聯(lián)榜單第一，其CS的專業(yè)實力有目共睹。

不久前，CMU計算機學(xué)院官網(wǎng)發(fā)布了一份新生必讀計算機書單，均由學(xué)校教授出品，想學(xué)計算機編程入門計算機賽事的同學(xué)一定不要錯過哦！

感興趣的同學(xué)快來掃碼領(lǐng)取電子書吧~

下面小林給大家簡單介紹一下這幾本推薦書籍~

《Mind Children》

作者：Hans Moravec

作者莫拉維克任職于卡內(nèi)基梅隆大學(xué)，是位深受景仰的機器人學(xué)科學(xué)家。他在20世紀(jì)80年代晚期悄悄寫成了這本書，提出人類種族的末日預(yù)言。

這本書并沒有預(yù)言我們會動用核武器自毀，或者自行造出疾病，失控蔓延導(dǎo)致滅亡，也沒說自我復(fù)制納米技術(shù)會摧毀我們這個物種。事實上，莫拉維克提出的預(yù)言是，我們會被自己的發(fā)明給徹底毀滅，而機器人則會成為首選。

《Robot》

作者：Hans Moravec

作者在書中闡釋之后會開展一個新的技術(shù)世代，加上現(xiàn)今的改變速度又很快，到了21世紀(jì)中期，很可能就會脫韁自行發(fā)展。

其過程想必就是，我們會推動機器人攀登演化階梯，約以十年為期逐步進(jìn)展，讓它們變得更聰明、更有活動性，也更像我們，總有一天，機器會變得比創(chuàng)造它們的人類更高明，也更能適應(yīng)環(huán)境。

《Theories of Programming Languages》

作者：John C. Reynolds

這本教科書于1998年首次出版，對編程語言的設(shè)計、定義和實現(xiàn)以及指定和證明程序行為的系統(tǒng)的理論基礎(chǔ)進(jìn)行了廣泛但嚴(yán)格的調(diào)查。

命令式編程和函數(shù)式編程都包括在內(nèi)，以及將這些方面集成到更通用的語言中的方法。認(rèn)識到在程序設(shè)計語言研究的多樣性下技術(shù)的統(tǒng)一性，作者對該學(xué)科的基本原理進(jìn)行了綜合處理。他確定了相對較少的概念，如組合語義、綁定結(jié)構(gòu)、域、轉(zhuǎn)換系統(tǒng)和推理規(guī)則，這些概念是該領(lǐng)域的基礎(chǔ)。

《Mechanics of Robotic Manipulation》

作者：Mason, Matthew T.

《機器人操縱力學(xué)》講述了機器人操縱的一種形式，移動物體，以及所涉及的各種過程——抓握、搬運、推動、放下、投擲等等。

與大多數(shù)關(guān)于這一主題的書不同，它關(guān)注的是操縱，而不是操縱器。這種對過程而非設(shè)備的關(guān)注允許采用更基本的方法，從而產(chǎn)生適用于廣泛設(shè)備的結(jié)果，而不僅僅是機械臂。這本書借鑒了經(jīng)典力學(xué)和經(jīng)典規(guī)劃，其中引入了不完美信息的元素。

《Multimodal Video Characterization & Summarization》

作者：Smith, Michael A. / Kanade, Takeo

多模式視頻表征和摘要對于視頻領(lǐng)域的專業(yè)人士和學(xué)者來說都是一個有價值的研究工具。本書描述了使用多模式音頻、圖像和文本技術(shù)來表征視頻內(nèi)容的方法。

這項新的突破性科學(xué)在視頻理解方面取得了許多進(jìn)步，例如視頻摘要的開發(fā)。描述了創(chuàng)建視頻摘要的應(yīng)用程序和方法，以及用于評估和測試的用戶研究。

當(dāng)然，理論知識必不可少，具體實踐也同樣重要，想要在計算機賽事中一舉拔得頭籌，翰林助你一臂之力！

*以上學(xué)術(shù)挑戰(zhàn)活動主辦方為海外機構(gòu)，不與任何中國的大學(xué)、中學(xué)或小學(xué)升學(xué)加分活動掛鉤，其成績不會作為任何中國中小學(xué)升學(xué)或評優(yōu)的依據(jù)，僅定位為針對中學(xué)數(shù)學(xué)愛好者的課外興趣活動和國際數(shù)學(xué)教學(xué)交流活動。

更多賽事活動及課程信息

可掃描文中二維碼咨詢顧問老師