研究方向 |
081200 计算机科学与技术
01 (全日制)计算机图形学与虚拟现实
02 (全日制)算法与计算复杂性
03 (全日制)量子软件理论
04 (全日制)信息编码和社会网络动态,逻辑学与复杂性
05 (全日制)基于学习算法的模型验证
06 (全日制)安全攸关系统的形式设计理论
07 (全日制)软件设计与分析方法,新型计算模型与应用
08 (全日制)嵌入式系统建模与验证,交互式定理证明
09 (全日制)混成系统及AI系统的形式化验证
10 (全日制)程序分析与验证
11 (全日制)智能优化与自动推理
12 (全日制)并行算法与并行软件
13 (全日制)自然语言理解
14 (全日制)新型操作系统及系统安全
15 (全日制)软硬件深度融合
16 (全日制)网络分布计算理论与技术
17 (全日制)人机交互,实时智能
18 (全日制)智能信息处理
19 (全日制)网络技术及应用
备注:12、13方向只招推免生。 |
考试科目 |
①101思想政治理论②201英语一③301数学一④863计算机学科综合(专业) |
复试科目、复试参考书 |
|
参考书目、参考教材 |
863计算机学科综合(专业)
数据结构(C语言版). 严蔚敏,吴伟民 编著,北京:清华大学出版社,2007年。
计算机组成原理(第五版).白中英,戴志涛 编著,北京:科学出版社,2013年。
计算机操作系统(第三版). 汤小丹,梁红兵,哲凤屏,汤子瀛, 西安:西安电子科技大学出版社,2011年。
计算机网络(第七版). 谢希仁 编著,北京:电子工业出版社,2017年。 |
更多研究方向 |
081200 计算机科学与技术
01 (全日制)计算机图形学与虚拟现实
02 (全日制)算法与计算复杂性
03 (全日制)量子软件理论
04 (全日制)信息编码和社会网络动态,逻辑学与复杂性
05 (全日制)基于学习算法的模型验证
06 (全日制)安全攸关系统的形式设计理论
07 (全日制)软件设计与分析方法,新型计算模型与应用
08 (全日制)嵌入式系统建模与验证,交互式定理证明
09 (全日制)混成系统及AI系统的形式化验证
10 (全日制)程序分析与验证
11 (全日制)智能优化与自动推理
12 (全日制)并行算法与并行软件
13 (全日制)自然语言理解
14 (全日制)新型操作系统及系统安全
15 (全日制)软硬件深度融合
16 (全日制)网络分布计算理论与技术
17 (全日制)人机交互,实时智能
18 (全日制)智能信息处理
19 (全日制)网络技术及应用
备注:12、13方向只招推免生。 |
更多考试科目信息 |
①101思想政治理论②201英语一③301数学一④863计算机学科综合(专业) |
更多复试科目参考书信息 |
|
更多参考书目、参考教材 |
863计算机学科综合(专业)
数据结构(C语言版). 严蔚敏,吴伟民 编著,北京:清华大学出版社,2007年。
计算机组成原理(第五版).白中英,戴志涛 编著,北京:科学出版社,2013年。
计算机操作系统(第三版). 汤小丹,梁红兵,哲凤屏,汤子瀛, 西安:西安电子科技大学出版社,2011年。
计算机网络(第七版). 谢希仁 编著,北京:电子工业出版社,2017年。 |