考研网资料展示
| 博士生方向 | |||
| 博士考试科目 | 04703 怀进鹏 ：
①1001 英语 ② 2005 概率统计 ③ 3061 数理逻辑和计算机网络 或 3062 数理逻辑和计算机系统结构 或 3063 数理逻辑和软件工程 或 3064 计算机网络和计算机系统结构 或 3065 计算机网络和软件工程 或 3066 计算机系统结构和软件工程 04769 刘旭东 ： ①1001 英语 ② 2005 概率统计 ③ 3061 数理逻辑和计算机网络 或 3062 数理逻辑和计算机系统结构 或 3063 数理逻辑和软件工程 或 3064 计算机网络和计算机系统结构 或 3065 计算机网络和软件工程 或 3066 计算机系统结构和软件工程 06785 吕卫锋 ： ①1001 英语 ② 2002 数值分析 或 2005 概率统计 ③ 3061 数理逻辑和计算机网络 或 3063 数理逻辑和软件工程 或 3065 计算机网络和软件工程 07000 许可 ： ①1001 英语 ② 2005 概率统计 或 2098 数理统计 ③3061 数理逻辑和计算机网络 或 3063 数理逻辑和软件工程 或 3065 计算机网络和软件工程 08673 李建欣 ： ①1001 英语 ② 2001 矩阵理论 或 2004 常微分方程 或 2005 概率统计 或 2093 泛函分析 或 2094 抽象代数 或 2098 数理统计 ③ 3061 数理逻辑和计算机网络 或 3062 数理逻辑和计算机系统结构 或 3063 数理逻辑和软件工程 或 3064 计算机网络和计算机系统结构 或 3065 计算机网络和软件工程 或 3066 计算机系统结构和软件工程 08674 孙海龙 ： ①1001 英语 ② 2001 矩阵理论 或 2002 数值分析 或 2005 概率统计 或 2098 数理统计 ③ 3064 计算机网络和计算机系统结构 或 3065 计算机网络和软件工程 或 3066 计算机系统结构和软件工程 09353 徐洁 ： ①1001 英语 ② 2005 概率统计 ③ 3061 数理逻辑和计算机网络 或 3062 数理逻辑和计算机系统结构 或 3063 数理逻辑和软件工程 或 3064 计算机网络和计算机系统结构 或 3065 计算机网络和软件工程 或 3066 计算机系统结构和软件工程 09365 马帅： ①1001 英语 ②2005 概率统计 ③ 3061 数理逻辑和计算机网络 或 3062 数理逻辑和计算机系统结构 09553 樊文飞 ： ①1001 英语 ② 2005 概率统计 ③ 3061 数理逻辑和计算机网络 或 3062 数理逻辑和计算机系统结构 09870 蔡维德 ： ①1001 英语 ② 2001 矩阵理论 或 2005 概率统计 或 2094 抽象代数 ③ 3061 数理逻辑和计算机网络 或 3065 计算机网络和软件工程 或 3066 计算机系统结构和软件工程 09996 朱皞罡 ： ①1001 英语 ② 2001 矩阵理论 或 2002 数值分析 或 2005 概率统计 或 2097 计算方法 或 2098 数理统计 ③ 3061 数理逻辑和计算机网络 或 3062 数理逻辑和计算机系统结构 或 3063 数理逻辑和软件工程 |
||
| 考博复试科目 | |||
| 考博参考书目 | 2001 矩阵理论：
1、矩阵的基本知识 2、线性方程组 3、矩阵的相似变换与二次型 4、线性空间 5、线性变换 6、矩阵的分解 7、矩阵的广义逆 8、矩阵分析 2002 数值分析 ： 基本内容与要求： 1.数值分析的研究对象和内容 2.误差知识与算法知识 3.向量范数和矩阵范数 2004 常微分方程 ： 1、一阶微分方程的初等解法 2、一阶微分方程的解的存在唯一性定理 3、高阶微分方程 4、线性微分方程组/5、二阶非线性微分方程组和稳定性 2005 概率统计 ： 1、随机事件的概率 2、 随机变量及其分布 3、 二维随机变量的分布 4、随机变量的函数的分布 5、 随机变量的数字特征 6、大数定律和中心极限定理 7 、 统计量及其分布 8、 参数估计 9、 假设检验 2093 泛函分析 ： 1、线性距离空间 2、Hilbert 空间 3、Banach空间上的有界线性算子 4、有界线性算子谱理论 2094 抽象代数 ： 1.基本概念 2. 群论 3. 环 4. 整环的整除性 5. 模 6. 域论 7. Galois理论 2097 计算方法 ： 考试旨在考察考生对科学计算方法基本知识掌握程度的基础上，注重考察考生对于各种常用数值计算方法及其理论的理解与掌握，以及运用这次方法和理论解决分析简单实际问题的能力。 2098 数理统计 ： 1、概率、随机变量及其函数的分布 2、各种收敛方式与极限分布 3、数据压缩技术 4、贝叶斯估计 5、最大势检验与一致最大势检验 6、参数模型中的检验 |
||
| 博士生方向 | 00不区分研究方向 | ||
| 博士考试科目 | 怀进鹏： ①1001英语 ②2005概率统计 ③3061数理逻辑和计算机网络、3062数理逻辑和计算机系统结构、3063数理逻辑和软件工程、3064计算机网络和计算机系统结构、3065计算机网络和软件工程、3066计算机系统结构和软件工程 选一 或 ①1000申请考核制外国语 ②2000申请考核制基础课 ③3906申请考核制专业课 刘旭东： ①1001英语 ②2005概率统计 ③3061数理逻辑和计算机网络、3062数理逻辑和计算机系统结构、3063数理逻辑和软件工程、3064计算机网络和计算机系统结构、3065计算机网络和软件工程、3066计算机系统结构和软件工程 选一 或 ①1000申请考核制外国语 ②2000申请考核制基础课 ③3906申请考核制专业课 吕卫锋： ①1001英语 ②2002数值分析、2005概率统计 选一 ③3061数理逻辑和计算机网络、3063数理逻辑和软件工程、3065计算机网络和软件工程 选一 或 ①1000申请考核制外国语 ②2000申请考核制基础课 ③3906申请考核制专业课 许可： ①1001英语 ②2005概率统计、2098数理统计 选一 ③3061数理逻辑和计算机网络、3063数理逻辑和软件工程、3065计算机网络和软件工程 选一 或 ①1000申请考核制外国语 ②2000申请考核制基础课 ③3906申请考核制专业课 李舟军： ①1001英语 ②2005概率统计、2094抽象代数 选一 ③3061数理逻辑和计算机网络、3063数理逻辑和软件工程、3065计算机网络和软件工程 选一 或 ①1000申请考核制外国语 ②2000申请考核制基础课 ③3906申请考核制专业课 李建欣： ①1001英语 ②2001矩阵理论、2005概率统计、2094抽象代数、2098数理统计 选一 ③3061数理逻辑和计算机网络、3062数理逻辑和计算机系统结构、3063数理逻辑和软件工程、3064计算机网络和计算机系统结构、3066计算机系统结构和软件工程 选一 或 ①1000申请考核制外国语 ②2000申请考核制基础课 ③3906申请考核制专业课 孙海龙： ①1001英语 ②2001矩阵理论、2002数值分析、2005概率统计、2098数理统计 选一 ③3064计算机网络和计算机系统结构、3065计算机网络和软件工程、3066计算机系统结构和软件工程 选一 或 ①1000申请考核制外国语 ②2000申请考核制基础课 ③3906申请考核制专业课 徐洁： ①1001英语 ②2005概率统计 ③3061数理逻辑和计算机网络、3062数理逻辑和计算机系统结构、3063数理逻辑和软件工程、3064计算机网络和计算机系统结构、3065计算机网络和软件工程、3066计算机系统结构和软件工程 选一 或 ①1000申请考核制外国语 ②2000申请考核制基础课 ③3906申请考核制专业课 马帅： ①1001英语 ②2005概率统计 ③3061数理逻辑和计算机网络、3062数理逻辑和计算机系统结构 选一 或 ①1000申请考核制外国语 ②2000申请考核制基础课 ③3906申请考核制专业课 樊文飞： ①1001英语 ②2005概率统计 ③3061数理逻辑和计算机网络、3062数理逻辑和计算机系统结构 选一 或 ①1000申请考核制外国语 ②2000申请考核制基础课 ③3906申请考核制专业课 蔡维德： ①1001英语 ②2001矩阵理论、2005概率统计、2094抽象代数 选一 ③3061数理逻辑和计算机网络、3065计算机网络和软件工程、3066计算机系统结构和软件工程 选一 或 ①1000申请考核制外国语： ②2000申请考核制基础课 ③3906申请考核制专业课 |
||
| 考博复试科目 | |||
| 考博参考书目 | |||
| 博士生方向 | 01怀进鹏 计算机软件与理论 02刘旭东 可信网络计算技术 服务计算技术 03吕卫锋 城市计算、海量数据组织处理及算法、大型信息系统的开发方法 04许可 算法与复杂性分析、数据挖掘、网络 05李舟军 高可信软件理论和技术，网络与信息安全技术，数据挖掘与社交网络分析，语义web与P2P计算 06李建欣 信息安全、分布式计算、虚拟化、可信计算、大数据 07徐洁 主要研究方向包括可信、高安全和面向服务的系统工程技术，分布式系统可靠性技术等。强调理论与工程应用并重。 08马帅 Database Theory and Systems; Data Cleaning, Record Matching; Social Data Analysis, Graph Matching; Data Intensive Computing, Distributed Computing 09樊文飞 数据库理论与系统，包括大数据、数据质量、数据集成、分布式查询处理、查询语言、推荐系统、社会网络查询与分析 |
||
| 博士考试科目 | 01、02方向： 1001英语 2005概率统计 3061数理逻辑和计算机网络 3062数理逻辑和体系结构 3063数理逻辑和软件工程 3064网络和体系结构 3065网络和软件工程 3066体系结构和软件工程 03方向： 1001英语 2002数值分析 2005概率统计 3061数理逻辑和计算机网络 3063数理逻辑和软件工程 3065网络和软件工程 04方向： 1001英语 2001矩阵理论 2005概率统计 3061数理逻辑和计算机网络 3063数理逻辑和软件工程 3065网络和软件工程 05方向： 1001英语 2005概率统计 2094抽象代数 3061数理逻辑和计算机网络 3063数理逻辑和软件工程 3065网络和软件工程 06方向： 1001英语 2001矩阵理论 2005概率统计 2094抽象代数 2098数理统计 3061数理逻辑和计算机网络 3062数理逻辑和体系结构 3063数理逻辑和软件工程 3064网络和体系结构 3066体系结构和软件工程 07方向： 1001英语 2005概率统计 3061数理逻辑和计算机网络 3062数理逻辑和体系结构 3063数理逻辑和软件工程 3064网络和体系结构 3065网络和软件工程 3066体系结构和软件工程 08、09方向： 1001英语 2005概率统计 3061数理逻辑和计算机网络 3062数理逻辑和体系结构 |
||
| 考博复试科目 | |||
| 考博参考书目 | 2001 矩阵理论： 《矩阵论引论》，北航出版社1997，陈祖明、周家胜； 《线性代数》，北航出版社2005，高宗升、周梦 2002 数值分析： 《数值分析》修订版，北航出版社，颜庆津 2005 概率统计： 《概率论与数理统计》（不含方差分析、回归分析、随机过程），高等教育出版社，浙江大学； 《概率统计及随机过程》（1-9章），北航出版社，张福渊 3061数理逻辑和计算机网络： 《计算机网络》第四版，2004 清华大学出版社，Andrew S. Tanenbaum，潘爱民译； 《面向计算机科学的数理逻辑》（第二版），科学出版社，陆钟万； 《离散数学》，高等教育出版社，尹宝林等 3062数理逻辑和体系结构： 《面向计算机科学的数理逻辑》（第二版），科学出版社，陆钟万； 《离散数学》，高等教育出版社，尹宝林等； 《Computer Architecture: A Quantitative Approach 2 Ed.》译本： 《计算机体系结构：一种定量的方法(第二版)》， Morgan Kaufmann Publishers，清华大学出版社，David A. Patterson and John L. Hennessy； 《Advanced Computer Architecture Parallelism Scalability Programmability》清华大学出版社，Kai Hwang； 《高等计算机系统结构：并行性 可扩展性 可编程性》，广西科学技术出版社 3063数理逻辑和软件工程： 《面向计算机科学的数理逻辑》（第二版），科学出版社，陆钟万； 《离散数学》，高等教育出版社，尹宝林等； 《实用软件工程(第二版)》，清华大学出版社，郑人杰等； 《可视化面向对象建模技术--标准建模语言UML》，北航出版社2001.07，刘超、张莉； 《软件工程--实践者的研究方法（原书第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition，机械工业出版社2002，梅宏译； 《能力成熟度模型（CMM）：软件过程改进指南》（The Capability Maturity Model – Guidelines for Improving the Software Process, SEI/CMU），电子工业出版社，刘孟仁等译 3064网络和体系结构： 《计算机网络》第四版 ，2004，清华大学出版社 Andrew S. Tanenbaum，潘爱民译； 《Computer Architecture: A Quantitative Approach 2 Ed.》译本： 《计算机体系结构：一种定量的方法(第二版)》，Morgan Kaufmann Publishers，清华大学出版社，David A. Patterson and John L. Hennessy； 《Advanced Computer Architecture Parallelism Scalability Programmability》清华大学出版社，Kai Hwang； 《高等计算机系统结构：并行性 可扩展性 可编程性》，广西科学技术出版社 3065网络和软件工程： 《计算机网络》第四版 ，2004，清华大学出版社，Andrew S. Tanenbaum，潘爱民译； 《实用软件工程(第二版)》，清华大学出版社，郑人杰等； 《可视化面向对象建模技术--标准建模语言UML》，北航出版社2001.07，刘超、张莉； 《软件工程--实践者的研究方法（原书第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition，机械工业出版社2002，梅宏译； 《能力成熟度模型（CMM）：软件过程改进指南》（The Capability Maturity Model – Guidelines for Improving the Software Process, SEI/CMU）电子工业出版社，刘孟仁等译 3066体系结构和软件工程： 《Computer Architecture: A Quantitative Approach 2 Ed.》译本：《计算机体系结构：一种定量的方法(第二版)》， Morgan Kaufmann Publishers，清华大学出版社，David A. Patterson and John L. Hennessy； 《Advanced Computer Architecture Parallelism Scalability Programmability》，清华大学出版社，Kai Hwang； 《高等计算机系统结构：并行性 可扩展性 可编程性》， 广西科学技术出版社； 《实用软件工程(第二版)》，清华大学出版社，郑人杰等； 《可视化面向对象建模技术--标准建模语言UML》，北航出版社2001.07，刘超、张莉； 《软件工程--实践者的研究方法（原书第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition， 机械工业出版社2002， 梅宏译； 《能力成熟度模型（CMM）：软件过程改进指南》（The Capability Maturity Model – Guidelines for Improving the Software Process, SEI/CMU）， 电子工业出版社， 刘孟仁等译 |
||
| 博士生方向 | 01 网络计算 02 可信计算理论与技术 03 软件设计与生产方法 04 信息科学的数学基础 05 云计算及物联网应用 06 非结构化数据管理 07 高可信软件技术 08 数据挖掘与信息检索 09 云计算与Web服务 10 软件分析与验证技术 11 并行计算与优化技术 12 软件设计与生产方法 13 软件中间件技术 14 服务计算技术 15 实时嵌入式软件技术 16 算法与计算复杂性 17 数据挖掘 18 社交网络分析 19 软件密集型系统建模仿真技术 20 业务建模和分析技术 21 需求工程 22 分布式计算与信息安全 23 海量数据管理与知识发现 24 海量数据高性能处理及算法 25 大型软件开发方法 26 大数据挖掘与服务技术 27 分布式系统 28 信息安全 29 可信计算 30 数据挖掘与处理 31 数据库理论与系统 32 数据库理论与系统 33 可信计算 34 大规模网络软件系统 35 海量信息处理的计算理论研究 36 Web资源发现的模型和算法研究 37 计算机软件的形式化方法 |
||
| 博士考试科目 | 01-03,12-13，33-34方向： 1001英语， 2005概率统计， 3061数理逻辑和计算机网络 3062数理逻辑和体系结构 3063数理逻辑和软件工程 3064网络和体系结构 3065网络和软件工程 3066体系结构和软件工程 选一 04-06方向： 1001英语， 2005概率统计， 3061数理逻辑和计算机网络 3063数理逻辑和软件工程 3065网络和软件工程 选一 07-09方向： 1001英语， 2005概率统计 2094抽象代数 选一， 3061数理逻辑和计算机网络 3063数理逻辑和软件工程 3065网络和软件工程 选一 10-11方向： 1001英语， 2001矩阵理论 2005概率统计 2094抽象代数 选一， 3063数理逻辑和软件工程 3065网络和软件工程 选一 14-18,25-26方向： 1001英语， 2002数值分析 2005概率统计 选一， 3061数理逻辑和计算机网络 3063数理逻辑和软件工程 3065网络和软件工程 选一 19-21方向： 1001英语， 2005概率统计， 3063数理逻辑和软件工程 3065网络和软件工程 选一 22-23方向： 1001英语， 2001矩阵理论 2005概率统计 选一， 3061数理逻辑和计算机网络 3065网络和软件工程 选一 27-30方向： 1001英语， 2001矩阵理论 2005概率统计 2094抽象代数 2098数理统计 选一， 3061数理逻辑和计算机网络 3062数理逻辑和体系结构 3063数理逻辑和软件工程 3064网络和体系结构 3066体系结构和软件工程 选一 31-32方向： 1001英语， 2005概率统计， 3061数理逻辑和计算机网络 3062数理逻辑和体系结构 选一 35-37方向： 1001英语， 2005概率统计， 3065网络和软件工程 |
||
| 考博复试科目 | 备注：同等学力考生须在11月4日加试两门报考专业有关的硕士学位主干课和政治理论课。 | ||
| 考博参考书目 | 2005概率统计 1.《概率论与数理统计》（不含方差分析、回归分析、随机过程），高等教育出版社，浙江大学； 2.《概率统计及随机过程》（1-9章），北航出版社，张福渊 3061数理逻辑和计算机网络 1.《计算机网络》第四版，2004 清华大学出版社，Andrew S. Tanenbaum，潘爱民译； 2.《面向计算机科学的数理逻辑》（第二版，科学出版社，陆钟万； 3.《离散数学》，高等教育出版社，尹宝林等 3062数理逻辑和体系结构 1.《面向计算机科学的数理逻辑》（第二版），科学出版社，陆钟万； 2.《离散数学》，高等教育出版社，尹宝林等； 3.《Computer Architecture: A Quantitative Approach 2 Ed.》译本：4.《计算机体系结构：一种定量的方法(第二版)》，Morgan Kaufmann Publishers，清华大学出版社David A. Patterson andJohn L. Hennessy； 5.《Advanced Computer Architecture Parallelism Scalability Programmability》清华大学出版社，Kai Hwang； 6.《高等计算机系统结构：并行性 可扩展性 可编程性》，广西科学技术出版社 3063数理逻辑和软件工程 1.《面向计算机科学的数理逻辑》（第二版），科学出版社,陆钟万； 2.《离散数学》，高等教育出版社，尹宝林等； 3.《实用软件工程(第二版)》，清华大学出版社，郑人杰等； 4.《可视化面向对象建模技术--标准建模语言UML》，北航出版社2001.07，刘超、张莉； 5.《软件工程--实践者的研究方法（原书第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition，机械工业出版社2002，梅宏译； 6.《能力成熟度模型（CMM）：软件过程改进指南》（The Capability Maturity Model – Guidelines for Improving the Software Process, SEI/CMU），电子工业出版社，刘孟仁等译 3064网络和体系结构 1.《计算机网络》第四版 ，2004，清华大学出版社 Andrew S. Tanenbaum，潘爱民译； 2.《Computer Architecture: A Quantitative Approach 2 Ed.》译本：3.《计算机体系结构：一种定量的方法(第二版)》，Morgan Kaufmann Publishers，清华大学出版社，David A. Patterson andJohn L. Hennessy； 4.《Advanced Computer Architecture Parallelism Scalability Programmability》清华大学出版社，Kai Hwang； 5.《高等计算机系统结构：并行性 可扩展性 可编程性》，广西科学技术出版社 3065网络和软件工程 1.《计算机网络》第四版 ，2004，清华大学出版社，Andrew S. Tanenbaum，潘爱民译； 2.《实用软件工程(第二版)》，清华大学出版社，郑人杰等； 3.《可视化面向对象建模技术--标准建模语言UML》，北航出版社2001.07，刘超、张莉； 4.《软件工程--实践者的研究方法（原书第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition，机械工业出版社2002，梅宏译； 5.《能力成熟度模型（CMM）：软件过程改进指南》（The Capability Maturity Model – Guidelines for Improving the Software Process, SEI/CMU）电子工业出版社，刘孟仁等译 3066体系结构和软件工程 1.《Computer Architecture: A Quantitative Approach 2 Ed.》译本：2.《计算机体系结构：一种定量的方法(第二版)》， Morgan Kaufmann Publishers，清华大学出版社 David A. Patterson andJohn L. Hennessy； 3.《Advanced Computer Architecture Parallelism Scalability Programmability》，清华大学出版社，Kai Hwang； 4.《高等计算机系统结构：并行性 可扩展性 可编程性》， 广西科学技术出版社； 5.《实用软件工程(第二版)》， 清华大学出版社， 郑人杰等； 6.《可视化面向对象建模技术--标准建模语言UML》， 北航出版社2001.07， 刘超、张莉； 7.《软件工程--实践者的研究方法（原书第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition， 机械工业出版社2002， 梅宏译； 8.《能力成熟度模型（CMM）：软件过程改进指南》（The Capability Maturity Model – Guidelines for Improving the Software Process, SEI/CMU）， 电子工业出版社， 刘孟仁等译 2094抽象代数 《近世代数》，科学出版社，熊全淹著 2001矩阵理论 1.《矩阵论引论》，北航出版社1997，陈祖明、周家胜； 2.《线性代数》，北航出版社2005，高宗升、周梦 2002数值分析 《数值分析》修订版，北航出版社，颜庆津 |
||
| 博士生方向 | 01 网络计算 02 可信计算理论与技术 03 软件设计与生产方法 04 信息科学的数学基础 05 云计算及物联网应用 06 非结构化数据管理 07 高可信软件技术 08 数据挖掘与信息检索 09 云计算与Web服务 10 软件分析与验证技术 11 并行计算与优化技术 12 软件设计与生产方法 13 软件中间件技术 14 服务计算技术 15 实时嵌入式软件技术 16 海量信息处理的计算理论研究 17 Web资源发现的模型和算法研究 18 计算机软件的形式化方法 19 可信计算 20 大规模网络软件系统 21 算法与计算复杂性 22 数据挖掘 23 网络测量、建模与分析 24 软件密集型系统建模仿真技术 25 业务建模和分析技术 26 需求工程 27 分布式计算与信息安全 28 海量数据管理与知识发现 |
||
| 博士考试科目 | 01-03、12、13、19、20方向: 1001 英语 2005 概率统计 3061 数理逻辑和计算机网络 3062 数理逻辑和体系结构 3063 数理逻辑和软件工程 3064 网络和体系结构 3065 网络和软件工程 3066 体系结构和软件工程 选一 04-06方向: 1001 英语 2005 概率统计 3061 数理逻辑和计算机网络 3063 数理逻辑和软件工程 3065 网络和软件工程 选一 07-09方向: 1001 英语 2005 概率统计 2094 抽象代数 选一 3061 数理逻辑和计算机网络 3063 数理逻辑和软件工程 3065 网络和软件工程 选一 10-11方向: 1001 英语 2001 矩阵理论 2005 概率统计 2094 抽象代数 选一 3063 数理逻辑和软件工程 3065 网络和软件工程 选一 14-15方向: 1001 英语 2002 数值分析 2005 概率统计 选一 3061 数理逻辑和计算机网络 3063 数理逻辑和软件工程 3065 网络和软件工程 选一 16-18方向: 1001 英语 2005 概率统计 3065 网络和软件工程 21-23方向: 1001 英语 2001 矩阵理论 2005 概率统计 选一 3061 数理逻辑和计算机网络 3063 数理逻辑和软件工程 3065 网络和软件工程 选一 24-26方向: 1001 英语 2005 概率统计 3063 数理逻辑和软件工程 3065 网络和软件工程 选一 27-28方向: 1001 英语 2001 矩阵理论 2005 概率统计 选一 3061 数理逻辑和计算机网络 3065 网络和软件工程 选一 |
||
| 考博复试科目 | |||
| 考博参考书目 | 1001英语 2001矩阵理论 《矩阵论引论》，北航出版社1997，陈祖明、周家胜； 《线性代数》，北航出版社2005，高宗升、周梦 2004常微方程 《常微分方程》，高等教育出版社，王高雄 2005概率统计 《概率论与数理统计》（不含方差分析、回归分析、随机过程），高等教育出版社，浙江大学； 《概率统计及随机过程》（1-9章），北航出版社，张福渊 2094 抽象代数 《近世代数》，科学出版社，熊全淹著 3061数理逻辑和计算机网络 《计算机网络》第四版，2004 清华大学出版社，Andrew S. Tanenbaum，潘爱民译； 《面向计算机科学的数理逻辑》（第二版，科学出版社，陆钟万； 《离散数学》，高等教育出版社，尹宝林等 3062数理逻辑和体系结构 《面向计算机科学的数理逻辑》（第二版），科学出版社，陆钟万； 《离散数学》，高等教育出版社，尹宝林等； 《Computer Architecture: A Quantitative Approach 2 Ed.》译本：《计算机体系结构：一种定量的方法(第二版)》，Morgan Kaufmann Publishers，清华大学出版社David A. Patterson andJohn L. Hennessy； 《Advanced Computer Architecture Parallelism Scalability Programmability》清华大学出版社，Kai Hwang； 《高等计算机系统结构：并行性 可扩展性 可编程性》，广西科学技术出版社 3063数理逻辑和软件工程 《面向计算机科学的数理逻辑》（第二版），科学出版社,陆钟万； 《离散数学》，高等教育出版社，尹宝林等； 《实用软件工程(第二版)》，清华大学出版社，郑人杰等； 《可视化面向对象建模技术--标准建模语言UML》，北航出版社2001.07，刘超、张莉； 《软件工程--实践者的研究方法（原书第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition，机械工业出版社2002，梅宏译； 《能力成熟度模型（CMM）：软件过程改进指南》（The Capability Maturity Model – Guidelines for Improving the Software Process, SEI/CMU），电子工业出版社，刘孟仁等译 3064网络和体系结构 《计算机网络》第四版 ，2004，清华大学出版社 Andrew S. Tanenbaum，潘爱民译； 《Computer Architecture: A Quantitative Approach 2 Ed.》译本：《计算机体系结构：一种定量的方法(第二版)》，Morgan Kaufmann Publishers，清华大学出版社，David A. Patterson andJohn L. Hennessy； 《Advanced Computer Architecture Parallelism Scalability Programmability》清华大学出版社，Kai Hwang； 《高等计算机系统结构：并行性 可扩展性 可编程性》，广西科学技术出版社 3065网络和软件工程 《计算机网络》第四版 ，2004，清华大学出版社，Andrew S. Tanenbaum，潘爱民译； 《实用软件工程(第二版)》，清华大学出版社，郑人杰等； 《可视化面向对象建模技术--标准建模语言UML》，北航出版社2001.07，刘超、张莉； 《软件工程--实践者的研究方法（原书第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition，机械工业出版社2002，梅宏译； 《能力成熟度模型（CMM）：软件过程改进指南》（The Capability Maturity Model – Guidelines for Improving the Software Process, SEI/CMU）电子工业出版社，刘孟仁等译 3066体系结构和软件工程 《Computer Architecture: A Quantitative Approach 2 Ed.》译本：《计算机体系结构：一种定量的方法(第二版)》， Morgan Kaufmann Publishers，清华大学出版社 David A. Patterson andJohn L. Hennessy； 《Advanced Computer Architecture Parallelism Scalability Programmability》，清华大学出版社，Kai Hwang；《高等计算机系统结构：并行性 可扩展性 可编程性》， 广西科学技术出版社 ； 《实用软件工程(第二版)》， 清华大学出版社， 郑人杰等； 《可视化面向对象建模技术--标准建模语言UML》， 北航出版社2001.07， 刘超、张莉； 《软件工程--实践者的研究方法（原书第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition， 机械工业出版社2002， 梅宏译； 《能力成熟度模型（CMM）：软件过程改进指南》（The Capability Maturity Model – Guidelines for Improving the Software Process, SEI/CMU）， 电子工业出版社， 刘孟仁等译 |
||
| 博士生方向 | 01 网络计算 02 可信计算理论与技术 03 软件设计与生产方法 04 信息科学的数学基础 05 云计算及物联网应用 06 非结构化数据管理 07 高可信软件技术 08 数据挖掘与信息检索 09 云计算与Web服务 10 软件工程 11 软件质量与软件测试 12 软件过程 13 面向对象技术 14 软件设计与生产方法 15 软件中间件技术 16 服务计算技术 17 实时嵌入式软件技术 18 海量信息处理的计算理论研究 19 Web资源发现的模型和算法研究 20 计算机软件的形式化方法 21 可信计算 22 大规模网络软件系统 23 算法与计算复杂性 24 数据挖掘 25 网络测量、建模与分析 26 软件体系结构 27 软件建模技术 28 需求工程 29 分布式计算与信息安全 30 海量数据管理 |
||
| 博士考试科目 | 01-03,14-15,21-22: 1001，2005，3061、3062、3063、3064、3065、3066 选一 04-06: 1001，2005，3061、3063、3065 选一 07-09: 1001，2001、2005、2094 选一，3061、3063、3065 选一 10-13； 1001，2001、2002、2003、2005、2093、2094 选一，3063、3065 选一 16-17： 1001，2002、2005 选一，3061、3063、3065 选一 18-20： 1001，2005，3065 23-25： 1001，2001、2005 选一，3061、3063、3065 选一 26-28： 1001，2005，3063、3065 选一 29-30： 1001，2001、2005 选一，3061、3065 选一 |
||
| 考博复试科目 | |||
| 考博参考书目 | 1001 英语 不指定 2001 矩阵理论 《矩阵论引论》 北航出版社1997 陈祖明、周家胜 《线性代数》 北航出版社2005 高宗升、周梦 2002 数值分析 《数值分析》修订版 北航出版社 颜庆津 2003 数理方程 《数理方程》 复旦大学 2005 概率统计 《概率论与数理统计》（不含方差分析、回归分析、随机过程） 高等教育出版社 浙江大学 《概率统计及随机过程》（1-9章） 北航出版社 张福渊 3061 数理逻辑和计算机网络 《计算机网络》第四版 ，2004 清华大学出版社 Andrew S. Tanenbaum，潘爱民译 《面向计算机科学的数理逻辑》（第二版） 科学出版社， 陆钟万 《离散数学》 ，高等教育出版社 ，尹宝林等 3062 数理逻辑和体系结构 《面向计算机科学的数理逻辑》（第二版） 科学出版社， 陆钟万 《离散数学》 ，高等教育出版社 ，尹宝林等 《Computer Architecture: A Quantitative Approach 2 Ed.》译本：《计算机体系结构：一种定量的方法(第二版)》 Morgan Kaufmann Publishers，清华大学出版社 David A. Patterson andJohn L. Hennessy 《Advanced Computer Architecture Parallelism Scalability Programmability》 清华大学出版社， Kai Hwang 《高等计算机系统结构：并行性 可扩展性 可编程性》 广西科学技术出版社 3063 数理逻辑和软件工程 《面向计算机科学的数理逻辑》（第二版） 科学出版社 陆钟万 《离散数学》 高等教育出版社 尹宝林等 《实用软件工程(第二版)》 清华大学出版社 郑人杰等 《可视化面向对象建模技术--标准建模语言UML》 北航出版社2001.07 刘超、张莉 《软件工程--实践者的研究方法（原书第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition 机械工业出版社2002 梅宏译 《能力成熟度模型（CMM）：软件过程改进指南》（The Capability Maturity Model ? Guidelines for Improving the Software Process, SEI/CMU） 电子工业出版社 刘孟仁等译 3064 网络和体系结构 《计算机网络》第四版 ，2004 清华大学出版社 Andrew S. Tanenbaum，潘爱民译 《Computer Architecture: A Quantitative Approach 2 Ed.》译本：《计算机体系结构：一种定量的方法(第二版)》 Morgan Kaufmann Publishers，清华大学出版社 David A. Patterson andJohn L. Hennessy 《Advanced Computer Architecture Parallelism Scalability Programmability》 清华大学出版社 Kai Hwang 《高等计算机系统结构：并行性 可扩展性 可编程性》 广西科学技术出版社 3065 网络和软件工程 《计算机网络》第四版 ，2004，清华大学出版社，Andrew S. Tanenbaum，潘爱民译 《实用软件工程(第二版)》 清华大学出版社， 郑人杰等 《可视化面向对象建模技术--标准建模语言UML》， 北航出版社2001.07， 刘超、张莉 《软件工程--实践者的研究方法（原书第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition， 机械工业出版社2002， 梅宏译 《能力成熟度模型（CMM）：软件过程改进指南》（The Capability Maturity Model ? Guidelines for Improving the Software Process, SEI/CMU） 电子工业出版社， 刘孟仁等译 3066 体系结构和软件工程 《Computer Architecture: A Quantitative Approach 2 Ed.》译本：《计算机体系结构：一种定量的方法(第二版)》， Morgan Kaufmann Publishers，清华大学出版社 David A. Patterson andJohn L. Hennessy 《Advanced Computer Architecture Parallelism Scalability Programmability》 清华大学出版社， Kai Hwang 《高等计算机系统结构：并行性 可扩展性 可编程性》， 广西科学技术出版社 《实用软件工程(第二版)》， 清华大学出版社， 郑人杰等 《可视化面向对象建模技术--标准建模语言UML》， 北航出版社2001.07， 刘超、张莉 《软件工程--实践者的研究方法（原书第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition， 机械工业出版社2002， 梅宏译 《能力成熟度模型（CMM）：软件过程改进指南》（The Capability Maturity Model ? Guidelines for Improving the Software Process, SEI/CMU）， 电子工业出版社， 刘孟仁等译 2093 泛函分析 《泛函分析》 高等教育出版社 江泽坚著 2094 抽象代数 《近世代数》 科学出版社 熊全淹著 |
||
| 博士生方向 | 01 网络计算 02 可信计算理论与技术 03 软件设计与生产方法 04 软件工程及其基础 05 云计算及物联网应用 06 信息科学的数学基础 07 分布式系统安全 08 可信软件理论与技术 09 高可信软件技术 10 网络与信息安全技术 11 数据挖掘与信息检索技术 12 软件质量与软件测试 13 高性能计算 14 软件设计与生产方法 15 软件中间件技术 16 服务计算技术 17 实时嵌入式软件技术 18 海量信息处理的计算理论研究 19 Web资源发现的模型和算法研究 20 计算机软件的形式化方法 21 可信计算 22 大规模网络软件系统 23 算法与计算复杂性 24 新一代因特网网络管理与测量技术 25 数据挖掘 26 分布式计算 29 web软件工程 30 需求工程 31 软件体系结构 |
||
| 博士考试科目 | 01-03方向： 1001, 2005, 3061～3066选一 04-06方向： 1001, 2001～2005选一, 3061～3066选一 07-08方向； 1001, 2001～2005选一, 3061～3066选一 09-11方向： 1001, 2001、2005选一, 3061、3063、3065选一 12-13方向： 1001, 2001～2005选一, 3063、3065、3066选一 14-15方向： 1001, 2005, 3061～3066选一 16-17方向； 1001, 2005, 3061～3066选一 18-20方向; 1001, 2005, 3065 21-22方向; 1001, 2005, 3061～3066选一 23-25方向： 1001, 2001、2005选一, 3061、3065选一 26方向： 1001, 2001, 3065 29-31方向： 1001, 2005, 3063、3065选一 |
||
| 考博复试科目 | |||
| 考博参考书目 | 1001 英语 不指定 2001 矩阵理论 《矩阵论引论》 北航出版社1997 陈祖明、周家胜 《线性代数》 北航出版社2005 高宗升、周梦 2002 数值分析 《数值分析》修订版 北航出版社 颜庆津 2003 数理方程 《数理方程》 复旦大学 2004 常微方程 《常微分方程》 高等教育出版社 王高雄 2005 概率统计 《概率论与数理统计》（不含方差分析、回归分析、随机过程） 高等教育出版社 浙江大学 《概率统计及随机过程》（1-9章） 北航出版社 张福渊 3061 数理逻辑和计算机网络 《计算机网络》第四版 ，2004 清华大学出版社 Andrew S. Tanenbaum，潘爱民译 《面向计算机科学的数理逻辑》（第二版）， 科学出版社， 陆钟万 《离散数学》 ，高等教育出版社 ，尹宝林等 3062 数理逻辑和体系结构 《面向计算机科学的数理逻辑》（第二版）， 科学出版社， 陆钟万 《离散数学》 ，高等教育出版社 ，尹宝林等 《Computer Architecture: A Quantitative Approach 2 Ed.》译本：《计算机体系结构：一种定量的方法(第二版)》， Morgan Kaufmann Publishers，清华大学出版社 David A. Patterson andJohn L. Hennessy 《Advanced Computer Architecture Parallelism Scalability Programmability》 清华大学出版社， Kai Hwang 《高等计算机系统结构：并行性 可扩展性 可编程性》， 广西科学技术出版社 3063 数理逻辑和软件工程 《面向计算机科学的数理逻辑》（第二版）， 科学出版社， 陆钟万 《离散数学》 ，高等教育出版社 ，尹宝林等 《实用软件工程(第二版)》， 清华大学出版社， 郑人杰等 《可视化面向对象建模技术--标准建模语言UML》， 北航出版社2001.07， 刘超、张莉 《软件工程--实践者的研究方法（原书第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition， 机械工业出版社2002， 梅宏译 《能力成熟度模型（CMM）：软件过程改进指南》（The Capability Maturity Model ? Guidelines for Improving the Software Process, SEI/CMU）， 电子工业出版社， 刘孟仁等译 3064 网络和体系结构 《计算机网络》第四版 ，2004，， 清华大学出版社 Andrew S. Tanenbaum，潘爱民译 《Computer Architecture: A Quantitative Approach 2 Ed.》译本：《计算机体系结构：一种定量的方法(第二版)》， Morgan Kaufmann Publishers，清华大学出版社 David A. Patterson andJohn L. Hennessy 《Advanced Computer Architecture Parallelism Scalability Programmability》 清华大学出版社， Kai Hwang 《高等计算机系统结构：并行性 可扩展性 可编程性》， 广西科学技术出版社 3065 网络和软件工程 《计算机网络》第四版 ，2004，清华大学出版社，Andrew S. Tanenbaum，潘爱民译 《实用软件工程(第二版)》， 清华大学出版社， 郑人杰等 《可视化面向对象建模技术--标准建模语言UML》， 北航出版社2001.07， 刘超、张莉 《软件工程--实践者的研究方法（原书第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition， 机械工业出版社2002， 梅宏译 《能力成熟度模型（CMM）：软件过程改进指南》（The Capability Maturity Model ? Guidelines for Improving the Software Process, SEI/CMU） 电子工业出版社， 刘孟仁等译 3066 体系结构和软件工程 《Computer Architecture: A Quantitative Approach 2 Ed.》译本：《计算机体系结构：一种定量的方法(第二版)》， Morgan Kaufmann Publishers，清华大学出版社 David A. Patterson andJohn L. Hennessy 《Advanced Computer Architecture Parallelism Scalability Programmability》 清华大学出版社， Kai Hwang 《高等计算机系统结构：并行性 可扩展性 可编程性》， 广西科学技术出版社 《实用软件工程(第二版)》， 清华大学出版社， 郑人杰等 《可视化面向对象建模技术--标准建模语言UML》， 北航出版社2001.07， 刘超、张莉 《软件工程--实践者的研究方法（原书第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition， 机械工业出版社2002， 梅宏译 《能力成熟度模型（CMM）：软件过程改进指南》（The Capability Maturity Model ? Guidelines for Improving the Software Process, SEI/CMU）， 电子工业出版社， 刘孟仁等译 |
||
北京航空航天大学计算机软件与理论以上招生信息（招生目录、考试科目、参考书、复试信息）均来源于北京航空航天大学研究生院，权威可靠。导师信息、历年分数线、招生录取比例、难度分析有些来源于在校的研究生，信息比较准确，但是可能存在一定的误差，仅供大家参考。
