中国科学院成都计算机应用研究所
2011年博士研究生招生专业目录及参考书目录
专业：计算机软件与理论（081202）
研究方向 | 指导教师 | 考试科目 |
01计算机自动推理与符号计算 02人工智能与软件工程 03自动推理与语义网 04计算机自动推理及其应用 | 杨路 张景中、冯勇 符红光 陆征一、刘忠 | 1.英语、计算机软件基础、自动推理与符号计算 2.英语、计算机软件基础、离散数学 3.英语、自动推理与符号计算、离散数学 注：报考01、02、03研究方向，以上三组试题可任选一组。 |
| 04编码与信息安全技术 | 王晓京 | 英语、计算机软件基础、离散数学 |
| 05嵌入式软件的设计与分析 | 吴尽昭 | 英语、计算机软件基础、离散数学 |
06图像分析处理理论与软件设计 | 付忠良 | 英语、计算机软件基础、数字图像处理 |
| 07图像分析与机器视觉 | 陈斌 | 英语、计算机软件基础、数字图像处理 |
| 08嵌入式系统 | 古乐野 | 仅招硕博连读生 |
| 09软件过程技术与方法 | 李少波 | 英语、计算机软件基础、软件工程与方法 |
| 考试科目 | 参考书名 | 出版社 | 编者 |
| 计算机软件基础 | 《程序设计语言原理》 | 机械工业出版社 | Rober.W.sebesta |
| 自动推理与方法计算 | 《非线性代数方程组与定理机器证明》 | 上海科技教育出版社 | 杨路、张景中 |
| 离散数学 | 《离散数学》第四版 | 电子工业出版社 | 王孝喜等译 |
| 数字图象处理 | 《数字图象处理》 | 电子工业出版社 | （美）KennethR.Cast |
| 软件工程与方法 | 《软件工程导论》（第三版） | 清华大学出版社 | 张海藩 |