华东师范大学计算机软件与理论 2010年招生目录

专业代码：081202 本专业招生24人
研究方向	01高可信计算理论与技术 02形式化方法 03软件分析与验证 04模型驱动式软件构造技术 05软硬件协同设计 06数据挖掘与知识发现 07自动推理与符号计算 08生物信息计算技术 09符号计算在非线性科学中的应用 10海量数据管理与数据流分析 11分布存储和P2P计算 12 WEB数据管理和WEB挖掘 13计算理论与计算模型
初试科目	①101思想政治理论 ②201英语一 ③301数学一 ④408计算机学科专业基础综合
复试科目	1．离散数学、操作系统（笔试） 2．专业基础知识（口试）。 3．外语听力、口语测试。
参考书目	复试参考书目：（1）《实用操作系统概念》Silberschatz Abraham、 Galvin Peter、Gagne Greg，北京：高等教育出版社（2001）；（2）《Discrete Mathematics and Its Applications》 (Fifth　Edition) Rosen Kenneth H，北京：机械工业出版社（2003）；（2）《离散数学》（修订版）耿素云等，高等教育出版社（2004）。

华东师范大学 计算机软件与理论 2010年 招生目录