擬招人數(shù)

學(xué)科、專(zhuān)業(yè)名稱(chēng)、研究方向

導(dǎo)師

考     試     科     目

12

人

081202計(jì)算機(jī)軟件與理論

01計(jì)算機(jī)自動(dòng)推理與符號(hào)計(jì)算

02自動(dòng)推理，程序驗(yàn)證

03自動(dòng)推理與機(jī)器證明

楊路

秦小林

劉忠

①英語(yǔ)②計(jì)算機(jī)軟件③自動(dòng)推理與符號(hào)計(jì)算

04信息安全

05信息安全、可信計(jì)算

06形式化方法

王曉京

崔喆

吳盡昭

英語(yǔ)②計(jì)算機(jī)軟件③離散數(shù)學(xué)

07機(jī)器學(xué)習(xí)，圖像處理

08機(jī)器視覺(jué)與模式識(shí)別

09模式識(shí)別，數(shù)據(jù)挖掘

付忠良

陳  斌

姚  宇

英語(yǔ)②計(jì)算機(jī)軟件③數(shù)字圖像處理

10大數(shù)據(jù)及其智能處理技術(shù)

11制造系統(tǒng)自動(dòng)化與制造物聯(lián)

鐘  勇

李少波

英語(yǔ)②計(jì)算機(jī)軟件③軟件工程與方法

12大數(shù)據(jù)、云計(jì)算

王  鵬

①英語(yǔ)②計(jì)算機(jī)軟件③云計(jì)算與大數(shù)據(jù)技術(shù)

參                考                  書(shū)                目

計(jì)算機(jī)軟件

《數(shù)據(jù)結(jié)構(gòu)C語(yǔ)言版》 嚴(yán)蔚敏清華大學(xué)出版社

《數(shù)據(jù)庫(kù)系統(tǒng)概論》王珊 薩師煊（第四版）高等教育出版社

《計(jì)算機(jī)算法設(shè)計(jì)與分析導(dǎo)論》朱清新 人民郵電出版社

軟件工程與方法

《軟件工程導(dǎo)論》、（第三版）清華大學(xué)出版社、張海藩；

自動(dòng)推理與符號(hào)計(jì)算

《非線(xiàn)性代數(shù)方程組與定理機(jī)器證明》、上�？萍冀逃�出版社（96年）、楊路 張景中；

離散數(shù)學(xué)

《離散數(shù)學(xué)》（第四版）、電子工業(yè)出版社、王孝喜等譯

數(shù)字圖象處理

《數(shù)字圖象處理》、電子工業(yè)出版社、（美）Kenneth R.Castleman著朱志剛等譯

云計(jì)算技術(shù)

《云計(jì)算的關(guān)鍵技術(shù)與應(yīng)用實(shí)例》 人民郵電出版社 王鵬著

并行計(jì)算技術(shù)

《并行計(jì)算應(yīng)用及實(shí)戰(zhàn)》機(jī)械工業(yè)出版社 王鵬主編

注：英語(yǔ)由中國(guó)科學(xué)院大學(xué)統(tǒng)一命題，其他專(zhuān)業(yè)課由本所命題，博士基本學(xué)制為4年。