华东师范大学计算机软件与理论 2019年 招生目录
-
081202
-
20
-
01 高可信计算理论与技术
02 形式化方法
03 软件分析与验证
04 模型驱动式软件构造技术
05 软硬件协同设计
06 数据挖掘与知识发现
07 自动推理与符号计算
08 生物信息计算技术
09 符号计算在非线性科学中的应用
10 海量数据管理与数据流分析
11 分布存储和P2P计算
12 WEB数据管理和WEB挖掘
13 计算理论与计算模型
-
①101思想政治理论
②201英一
③301数学一
④408计算机学科专业基础综合
-
-
408计算机学科专业基础综合
该科目全国统一命题，参见教育部考试中心编制的考试大纲。
-
