華東師范大學(xué)

2027/2028考研輔導(dǎo)網(wǎng)課

中國考研網(wǎng) 考研網(wǎng) » 院校信息 » 華東師范大學(xué) » 計算機軟件與理論

華東師范大學(xué)計算機軟件與理論 2010年招生目錄

專業(yè)代碼 081202

本專業(yè)招生 24人

研究方向 01高可信計算理論與技術(shù)
02形式化方法
03軟件分析與驗證
04模型驅(qū)動式軟件構(gòu)造技術(shù)
05軟硬件協(xié)同設(shè)計
06數(shù)據(jù)挖掘與知識發(fā)現(xiàn)
07自動推理與符號計算
08生物信息計算技術(shù)
09符號計算在非線性科學(xué)中的應(yīng)用
10海量數(shù)據(jù)管理與數(shù)據(jù)流分析
11分布存儲和P2P計算
12 WEB數(shù)據(jù)管理和WEB挖掘
13計算理論與計算模型

初試科目 ①101思想政治理論
②201英語一
③301數(shù)學(xué)一
④408計算機學(xué)科專業(yè)基礎(chǔ)綜合

復(fù)試科目 1．離散數(shù)學(xué)、操作系統(tǒng)（筆試）
2．專業(yè)基礎(chǔ)知識（口試）。
3．外語聽力、口語測試。

參考書目復(fù)試參考書目：
（1）《實用操作系統(tǒng)概念》Silberschatz Abraham、 Galvin Peter、Gagne Greg，北京：高等教育出版社（2001）；
（2）《Discrete Mathematics and Its Applications》 (Fifth　Edition) Rosen Kenneth H，北京：機械工業(yè)出版社（2003）；
（2）《離散數(shù)學(xué)》（修訂版）耿素云等，高等教育出版社（2004）。