上交计算机博士

2210计算机科学与技术方法论
《数理逻辑与集合论》，石纯一，清华大学出版社2000；
《图论与代数结构》，戴一奇，清华大学出版社1995；
《组合数学》，Richard A. Brualdi著，卢开澄等译，机械工业出版社2001

3323 计算机软件 
3324 数据库系统原理 
3325 机器学习 
3326 计算机网络与系统结构