編號

專業課名稱

參考書

主要內容

201

軟件工程基礎

1.《軟件工程》，Ian Sommerville，機械工業出版社，第七或第八版；

2、《軟件工程實踐者的研究方法》，Roger S.Pressman，機械工業出版社，第六版。 

軟件系統模型和軟件過程模型、需求建模和分析、軟件系統設計（包括系統和應用體系結構、界面等方面，以及面向對象軟件設計方法、設計模型及數據結構與算法）、軟件測試、軟件項目管理等方面的基礎內容。

202

算法設計與分析

1.《算法設計技巧與分析》(影印版) M.H.ALSUWAIYEL，電子工業出版社；

2.《數據結構》嚴蔚敏、吳偉明, 清華大學出版社。

數據結構及存儲方式、排序和搜索算法、近似算法、動態規劃、問題復雜性。

203

密碼學

《密碼學導引》馮登國等著, 科學出版社。

信息理論、復雜性理論、私鑰密碼算法、公鑰密碼算法、數字簽名、Hash函數、識別協議、密鑰管理技術。

204

計算機科學基礎

1.《矩陣論》（第3版），程云鵬，西北工業大學出版社；

2.《隨機過程及其應用》，陸大絟，清華大學出版社。

線性空間與線性變換，范數理論，矩陣分解，特征值，對稱矩陣，廣義逆矩陣；馬爾可夫過程，二階矩過程，平穩隨機過程，布朗運動，離散鞅；線性非線性優化，曲線回歸。

205

數理邏輯

《面向計算機科學的數理邏輯》，陸鐘萬編著，科學出版社。

謂詞演算、模態邏輯及時態邏輯基礎。

編號

專業課名稱

參考書

主要內容

301

計算機圖形學

1.《計算機圖形學教程》唐榮錫, 科學出版社；

2.《計算機真實感圖形算法基礎》彭群生, 科學出版社。

計算機圖形學基本知識：計算機圖形學概論；圖形系統，圖形標準；計算機圖形學的數學基礎。

圖形顯示的基本過程：三維計算機圖形學基礎；光柵掃描圖形學基礎,隱藏面和隱藏線消除算法。

幾何造型：曲線和曲面；三維形體表示法。

真實感圖形技術：CG發展的新動向：計算機動畫，科學計算可視化，虛擬現（VR），Wed網上的圖形/動畫技術。

302

程序語言理論

《計算機語言的形式語義》陸汝鈐編著，科學出版社。

自動機，形式語義（操作語義、代數語義、指稱語義、公理語義），程序規約與驗證。

303

計算理論基礎

《計算理論基礎》第二版，H. R. Lewis and C. H. Papadomitriou著，張立昂，劉田譯，清華大學出版社。

計算模型，計數復雜性，NP完全性。

304

網絡安全

《信息安全技術概論》,馮登國等,電子工業出版社,2009年4月。

標識與認證、授權與訪問控制、信息隱藏、網絡與系統攻擊、網絡與系統安全防護與應急響應、安全審計與責任認定、主機系統安全、網絡系統安全、惡意代碼檢測與防范、內容安全、信息安全測評、信息安全管理等技術。

305

有限域

1.《代數學基礎與有限域》

林東岱著，高等教育出版社，2006年6月，第一版。或者

2. <Finite Fields>, Rudolf Lidl, H. Niederreiter, Addison-Wesley Publishing Company, 1983。

抽象代數的基本知識

有限域的結構、有限域上的多項式、線性反饋移位寄存器、線性碼。

編號

專業課名稱

參考書

主要內容

306

操作系統與數據庫

1.《操作系統—精髓與設計原理》第五版， William Stallings著，電子工業出版社，2006年2月出版。

2.《數據庫系統概論》(第三版), 薩師煊,王珊(著),高等教育出版社, 2000年出版。

操作系統基本原理，包括：任務調度、內存管理、文件系統、虛擬機原理等

數據庫系統包括： 數據庫模型, 關系數據庫標準語言SQL, 數據庫查詢優化, 關系數據理論, 數據庫設計, 數據庫事務處理, 數據庫安全, 分布式數據庫和并行數據庫。

307

系統與網絡安全

1.《操作系統安全》卿斯漢等，清華大學出版社，2004；

2.《計算機通信網絡安全》

馮登國著, 清華大學出版社, 2001。

系統安全策略模型、安全機制、安全體系結構、安全標準、網絡安全服務的方法、網絡協議等。

308

人機交互

《人機交互》（美）迪克斯（Dix,A.） 等著，蔡利棟 等譯。電子工業出版社。

人與計算機之間的交互技術；和諧人機交互界面的原理；設計智能化人機交互界面的基本方法論，利用可用性和設計過程來考察人機交互的關鍵性問題，其中包括任務分析、對話設計、認知模型和軟件工程符號等內容。

309

實時系統

《實時系統》C.M.Krishna/Kang G.Shin著，清華大學出版社。

強實時和弱實時系統基本原理、實時系統調度、資源訪問控制以及多處理器和分布式實時系統等。

310

高級軟件工程

1.《軟件工程》，Jan Sommerville，機械工業出版社，2004（第七或第八版）；

2.《軟件工程實踐者的研究方法》，Roger S.Pressman,機械工業出版社，2004。

3. Measuring the software process：Statistical Process Control for Software Process Improvement,

William A. Florac, Anita D. Carleton. Addison-Wesley 1999年出版.

需求工程、軟件過程、軟件項目管理、估算、度量、驗證、確認以及知識管理基本知識；

軟件體系結構、軟件設計技術等相關內容。

311

分布式系統設計

1.《分布式系統：原理與范型》Andrews Tanenbaum,Maarten Van Steen,清華大學出版社，2004。

2.《網絡分布計算和軟件工程》馮玉琳等，科學出版社，2003。

分布式系統模型和體系結構、分布式系統的協調一致、死鎖檢測、資源調度、可靠保障、分布式文件管理、事務處理、數據管理等問題。

312

高級計算機網絡

《用TCP/IP進行網際互聯，第一卷：原理、協議與結構》，第4版，電子工業出版社。

協議分層的基本原理、現代通信網及其交換技術、數據鏈路層、介質接入控制(MAC)、路由選擇與網絡擁塞控制、網絡互聯、傳輸層、計算機網絡的高層應用。

313

數字通信

《數字通信》（第4版），John G. Proakis，電子工業出版社，2006。

信源編碼、通信信號與系統的表征、信道編碼、自適應均衡、多信道與多載波系統、擴頻信號、多徑衰落。

314

人工智能原理

《人工智能》上下冊 陸汝鈐編著 科學出版社2002年2月出版。

演繹系統、產生式系統、框架結構、語義網絡和過程性知識表示為中心；涉及盲目搜索、啟發式搜索、博弈樹搜索以及狀態窨搜索、問題空間搜索等多個方面。下冊介紹非經典邏輯、機器學習、自然語言理解、知識工程等內容。