博士招生考试科目及参考书.doc

博士招生考试科目及参考书

编号
专业课名称
参考书
主要内容
201
软件工程基础
《软件工程》,Ian Sommerville,***出版社,第七或第八版;
《软件工程实践者的研究方法》,Roger ,***出版社,第六版。
软件系统模型和软件过程模型、需求建模和分析、软件系统设计(包括系统和应用体系结构、界面等方面,以及面向对象软件设计方法、设计模式及数据结构与算法)、软件测试、软件项目管理等方面的基础内容
202
算法设计与分析
《算法设计技巧与分析》(影印版) ,电子工业出版社;
《数据结构》严蔚敏、吴伟明, 清华大学出版社。
数据结构及存储方式、排序和搜索算法、近似算法、动态规划、问题复杂性
203
密码学
《密码学导引》冯登国等著, 科学出版社。
信息理论、复杂性理论、私钥密码算法、公钥密码算法、数字签名、Hash函数、识别协议、密钥管理技术。
204
计算机数学基础
《矩阵论》(第3版),程云鹏,西北工业大学出版社;
《随机过程及其应用》,陆大絟,清华大学出版社。
线性空间与线性变换,范数理论,矩阵分解,特征值,对称矩阵,广义逆矩阵;马尔可夫过程,二阶矩过程,平稳随机过程,布朗运动,离散鞅;线性非线性优化,曲线回归。
205
数理逻辑
《面向计算机科学的数理逻辑》,陆钟万编著,科学出版社。
经典一阶逻辑及其推演系统,可靠性和完备性,紧致性定理,Herbrand定理;模态命题逻辑及其推演系统,可靠性和完备性。

编号
专业课名称
参考书
主要内容
301
程序语言理论
《计算机语言的形式语义》陆汝鈐编著,科学出版社。
自动机,形式语义(操作语义、代数语义、指称语义、公理语义),程序规约与验证。
302
可视表达与分析基础
《计算机真实感图形的算法基础》,彭群生,等,科学出版社;
《数据可视化》, 陈为,等, 电子工业出版社。
数据分析表达及图形图像绘制的基本理论与方法
303
分布式系统设计
《分布式系统:原理与范型》Andrews Tanenbaum,Maarten