人才培养

 

计算机软件与理论专业硕士招生研究方向:
序号 研究方向 指导教师
1 自动推理、优化方法、形式化方法 冯勇、陈长波、刘江、李轶
2 自动推理、计算数学、信息安全 吴文渊
初试科目:

政治、英语一、数学一(全国统考)、 863计算机学科综合

专业科目主要参考教材:

[1] 《数据结构(C语言版)》.严蔚敏,吴伟民编著,北京:清华大学出版社

[2] 《计算机组成原理(第五版)》.白中英,戴志涛编著;科学出版社

[3] 《计算机操作系统(第三版)》;汤小丹,梁红兵,哲凤屏,汤子瀛;西安电子科技大学出版社

[4] 《计算机网络(第五版)》. [美] 特南鲍姆,[美] 韦瑟罗尔著严伟,潘爱民译,北京:清华大学出版社

[5] 《计算机网络(第六版)》. 谢希仁编著,电子工业出版社

欢迎有志于从事自动推理与认知理论研究和工程实践的同学报考中国科学院自动认知与推理重庆市重点实验室硕士研究生!