|
擬招人數(shù) |
學科、專業(yè)名稱、研究方向 |
導師 |
考 試 科 目 |
|
12 人 |
081202計算機軟件與理論 01計算機自動推理與符號計算 02自動推理、弱小目標識別 03自動推理與機器證明 |
楊路 秦小林 劉忠 |
①英語②計算機軟件③自動推理與符號計算 |
|
04信息安全方法與技術 05人工智能、信息安全 06形式化方法
|
王曉京 崔喆 吳盡昭
|
①英語②計算機軟件③離散數(shù)學 |
|
|
07機器學習、圖像處理1 08機器視覺與人工智能 09機器學習、圖像處理2 |
付忠良 陳 斌 姚 宇 |
①英語②計算機軟件③數(shù)字圖像處理 |
|
|
10大數(shù)據(jù)及其智能處理技術 11公共大數(shù)據(jù)融合與集成 |
鐘 勇 李少波 |
①英語②計算機軟件③軟件工程與方法 |
|
|
12計算智能、量子算法、并行計算 |
王 鵬 |
①英語②計算機軟件③云計算與大數(shù)據(jù)技術 |
|
|
參 考 書 目 |
|||
|
計算機軟件 |
《數(shù)據(jù)結構C語言版》 嚴蔚敏清華大學出版社 《數(shù)據(jù)庫系統(tǒng)概論》王珊 薩師煊（第四版）高等教育出版社 《計算機算法設計與分析導論》朱清新 人民郵電出版社 |
||
|
軟件工程與方法 |
《軟件工程導論》、（第三版）清華大學出版社、張海藩； |
||
|
自動推理與符號計算 |
《非線性代數(shù)方程組與定理機器證明》、上�？萍冀逃霭嫔纾�96年）、楊路 張景中； |
||
|
離散數(shù)學 |
《離散數(shù)學》（第四版）、電子工業(yè)出版社、王孝喜等譯 |
||
|
數(shù)字圖象處理 |
《數(shù)字圖象處理》、電子工業(yè)出版社、（美）Kenneth R.Castleman著朱志剛等譯 |
||
|
云計算技術 |
《云計算的關鍵技術與應用實例》 人民郵電出版社 王鵬著 |
||
|
并行計算技術 |
《并行計算應用及實戰(zhàn)》機械工業(yè)出版社 王鵬主編 |
||
|
注：英語由中國科學院大學統(tǒng)一命題，其他專業(yè)課由本所命題，博士基本學制為4年。 |
|||
