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