研招网 > 四川研招网 > 中科院成都计算机应用研究所 > 招生信息

中科院成都计算机应用研究所2011年博士招生目录目录

中国科学院成都计算机应用研究所

2011年博士研究生招生专业目录及参考书目录

 专业:计算机软件与理论(081202)

研究方向

指导教师 

 考试科目

01计算机自动推理与符号计算

02人工智能与软件工程

03自动推理与语义网

04计算机自动推理及其应用

杨路

张景中、冯勇

符红光

陆征一、刘忠

1.英语、计算机软件基础、自动推理与符号计算

2.英语、计算机软件基础、离散数学

3.英语、自动推理与符号计算、离散数学

注:报考01、02、03研究方向,以上三组试题可任选一组。

04编码与信息安全技术 王晓京 英语、计算机软件基础、离散数学
05嵌入式软件的设计与分析

吴尽昭

英语、计算机软件基础、离散数学

06图像分析处理理论与软件设计     

付忠良 英语、计算机软件基础、数字图像处理
07图像分析与机器视觉 陈斌 英语、计算机软件基础、数字图像处理
08嵌入式系统 古乐野 仅招硕博连读生
09软件过程技术与方法 李少波 英语、计算机软件基础、软件工程与方法
考试科目 参考书名 出版社 编者 
计算机软件基础 《程序设计语言原理》 机械工业出版社  Rober.W.sebesta 
自动推理与方法计算 《非线性代数方程组与定理机器证明》  上海科技教育出版社  杨路、张景中 
离散数学 《离散数学》第四版 电子工业出版社  王孝喜等译 
数字图象处理 《数字图象处理》  电子工业出版社  (美)Kenneth R.Cast 
软件工程与方法 《软件工程导论》(第三版) 清华大学出版社  张海藩 
考研帮最新资讯更多

考研帮地方站

你可能会关心:

查看目标大学的更多信息

分数线、报录比、招生简章
一个都不能错过

× 关闭