编号

专业课名称

参考书

主要内容

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月出版。

演绎系统、产生式系统、框架结构、语义网络和过程性知识表示为中心；涉及盲目搜索、启发式搜索、博弈树搜索以及状态窨搜索、问题空间搜索等多个方面。下册介绍非经典逻辑、机器学习、自然语言理解、知识工程等内容。