计算机软件与理论博士研究生培养方案
|
| 一、培养目标 |
| |
本专业培养德、智、体全面发展的计算机软件与理论领域的高级专门人才。要求学生进一步学习与掌握马列主义、毛泽东思想和邓小平理论，热爱祖国，遵纪守法，品德良好；在本学科及相关学科上掌握坚实宽广的基础理论与系统深入的专门知识，熟练掌握1－2门外国语，具有适应高校教学工作并作出创造性成果的能力；成为积极为社会主义现代化建设事业服务的高级专门人才。 |
| 二、研究方向 |
| 三、学习年限 |
| |
按中山大学《学位与研究生教育工作手册》的规定要求。 |
| 四、学习年限 |
| |
按中山大学《学位与研究生教育工作手册》的规定要求。 |
| 五、课程设置 |
| |
| 类别 |
编号 |
课程名称 |
开课时间 |
学时 |
任课教师(职称) |
考核方式 |
必
修
课 |
公
共
课 |
0000001101 |
第一外国语Firstforeign language |
1 |
160 |
外语学院 |
考试 |
| 0000001103 |
马克思主义理论
Theory of Marxism |
1 |
60 |
教育学院 |
考试 |
基
础
课 |
0812011101 |
计算机科学中的逻辑
Logics in Computer Science |
1 |
80 |
导师组 |
考试 |
选
修
课
|
公
共
课 |
0000002210 |
第二外国语
Second Foreign Language |
2、4 |
144 |
外语学院 |
考试 |
专
业
课 |
0812011201 |
智能规划与诊断
Intelligent Planning and
Diagnoses |
1 |
60 |
姜云飞教授 |
考试 |
| 0812011202 |
逻辑程序设计
Logic Programming |
2 |
40 |
李磊教授 |
考试 |
专
业
课 |
0812011203 |
网络与计算机辅助设计
Network and Computer Aided
Design |
2 |
60 |
罗笑南教授 |
考试 |
|
0812011204 |
软件体系结构
Software Architecture |
2、3 |
60 |
李师贤教授 |
考试 |
|
0812011205 |
信息编码
Information Coding |
2、3 |
40 |
黄继武教授 |
考试 |
|
0812011206 |
形式语义
Formal Semantics |
2、3 |
60 |
李师贤教授 |
考试 |
|
0812011207 |
现代通信技术
Modern Communications |
2、3 |
40 |
李 磊教授
倪江群副教授 |
考试 |
|
0812011208 |
模式识别与人工智能
Pattern Recognition and
Artificial
Intelligence |
2 |
40 |
沈伟副教授 |
考试 |
|
0812011209 |
密码学
Crytology |
2 |
40 |
龙冬阳副教授 |
考试 |
|
0812011210 |
高级数理逻辑
Advanced Mathematical Logics |
|
60 |
周青副教授 |
考试 |
|
0812011211 |
模型检测逻辑
Model Checking Logics |
3 |
60 |
苏开乐教授 |
考试 |
|
0812011212 |
软件生产能力成熟度模型
Capability Maturity model
for Software |
3 |
40 |
罗笑南教授 |
考试 |
|
0812011213 |
数据挖掘
Data Mining |
2 |
40 |
常会友教授
印鉴副教授 |
考试 |
讲
座 |
0812011214 |
计算机科学与技术专题讲座
Seminar in Computer Science
and Technology |
2、3 |
40 |
|
考查 |
实
践
课 |
0812011215 |
教学实践
Teaching Practice |
|
|
|
考查 |
注：*选修课研究方向选择2至3门。另需修习指导小组指定的跨学科选修课程
| 六、培养方式 |
| |
按中山大学《学位与研究生教育工作手册》的有关规定执行。 |
| 七、考试方式 |
| |
按中山大学《学位与研究生教育工作手册》的有关规定执行。 |
| 八、学位论文 |
| |
按中山大学《学位与研究生教育工作手册》的有关规定执行。 |
| 九、答辩和学位授予 |
| |
按中山大学《学位与研究生教育工作手册》的有关规定执行。 |
| 十、参考书目 |
| |
1．王仁宇，数值逼近，高等教育出版社
2．奥本海姆，数字信号处理，西安交通大学出版社
3．吴兆雄编著，数字信号处理（下），西安电子科技大学出版社
4．余松煜，数字图象处理，电子工业出版社
5．曹志刚，现代通信原理，清华大学出版社
6．N．Nillsson,Principles
of Artificial Intelligence ,Springer--verlag, 1982
7．Herbert
B.Enderton,A Mathematical Introducion to Logic,Academic Press New
York and London,1972
8．Abraham Silberschatz Henry F.Korth S.
Sudarshan Adatabase System Concepts (Third Edition)
9．S.Ceri
G.Gottlob L.tanca ,Logic Programming and Database
10．Jean Walrand
(America),High-performance Communication Networks (ISBN
7-5053-5997-5)
中文：韩毅刚， 高性能通信网络，电子工业出版社，2000
11．J.E.Hopcroft,
J.D.Ullman,Introduction to Automata Theory,Lanuages and Comoutation
,1979
12．袁崇义，Petri网原理（前四章），电子工业出版社，1998
13.R．S．Pressman,Software
Engineering ,A Practitioner’s Approach(Forth
Edition),1997 | |