計算機學科脈絡梳理

加粗的是我喜歡的。

 

計算理論：

Peter J. Denning

什麼能被計算（遞歸論）

實施這些計算所需資源（計算複雜性理論）

P=NP？自動機理論，密碼學，量子計算

書：introduction to the theory of computation（Sipser），灰姑娘書，龍書

 

算法與數據結構：

算法分析，算法，數據結構，計算幾何，並行計算，隨機算法

書：introduction to algorithms（CLRS），TAOCP

 

編程語言理論：

數學+軟件工程+語言學

處理編程語言的設計、實現、分析、描述、分類、個體特性

類型論，編譯器設計，編程語言

 

人工智能：

應用數學，邏輯，符號學，電機工程學，精神哲學，神經生理學，社會智力

數據挖掘，機器學習，天然語言處理，搜索引擎，數據庫系統

書：AI（Winston），AI（Nillson）

 

計算機系統結構與工程：

數字計算機組織（CPU，Memory）

書：計算機系統：軟硬件接口，unix環境編程，OS設計精髓

 

計算機圖形與視覺：

計算機圖形學，計算機視覺，圖像處理，計算幾何

書：計算機圖形學，線性代數

 

科學計算：

構建模型和量化分析技術

數值計算，計算物理學/化學，生物信息學

書：SICP，TAOCP，Signal&System（Oppenheim），ODE

 

軟件工程：

設計，實現，修改軟件，確保軟件高質量，適中的價格及可維護性，可以快速構建

IT發展歷史和人物

書：design patterns，uml2.0，TCPL，TC++PL，how to think like a computer scientist(python)，SICP，how to design programs，微觀經濟學

 

數理科學：

discrete math，隨機過程，微分方程，抽象代數，圖理論，線性代數/矩陣論，複分析

書：concrete math，古今數學思想，龐加萊三書，什麼是數學，高觀點下的初等數學，surreal numbers，

大學物理，費曼物理學講義，大設計/時間簡史，生命是什麼，普通生物學