上海师范大学数理信息学院硕士专业介绍：计算机软件与理论_学科&专业介绍_考研指南_

上海师范大学数理信息学院硕士专业介绍：计算机软件与理论

2006-1-13 18:42:33 上海师范大学考研共济网

kaoyantj

计算机软件与理论辅导
Computer Software and Theory

　　本专业的主要培养具有较强理论基础和设计、开发软件能力的软件和理论人才，以满足软件开发、技术管理、科学研究和高等教育等多层次的社会需要。包括不确定程序理论及应用Theories and Applications of Uncertain Programming、虚拟现实Virtual Reality、信息系统与数据库Information System and Database、软件可靠性设计理论与方法Theories and Methods on Reliable Programming和遗传算法Hereditary Algorithms五个研究方向。

业

（一）培养目标和要求同济
1、培养德智体全面发展的计算机软件与理论方向高层次专门人才和高校有关专业的师资。同济大学四平路
2、通过进一步学习马列主义、毛泽东思想和邓小平理论，逐步形成无产阶级世界观，热爱社会主义祖国，毕业后为祖国的建设贡献力量。业
3、培养具有较强理论基础和设计、开发软件能力的软件和理论人才，以满足软件开发、技术管理、科学研究和高等教育等多层次的社会需要。

正门

4、较为熟练地掌握一门外语，能阅读本专业的外文资料。正门
5、有健康的体魄和良好的心理素质。

336260 37

（二）研究方向

共

1、不确定程序理论及应用 Theories and Applications of Uncertain Programming辅导
2、虚拟现实 Virtual Reality112室
3、信息系统与数据库 Information System and Database共济
4、软件可靠性设计理论与方法 Theories and Methods on Reliable Programming考
5、遗传算法 Hereditary Algorithms3362 3039
（三）学制专
全日制硕士研究生学制为三年；半脱产在职研究生经申请批准其学习年限可延长半年至一年。研
（四）课程设置共济
1、必修课程：同济大学四平路
（1）学位公共课：研
科学社会主义理论与实践Theory and Practice of Scientific

济

Socialism
自然辩证法 Dialectics of Nature
第一外国语 First Foreign Language
（2）学位基础课：
数理逻辑基础 Elements of Mathematical Logic
形式语言与自动机 Formal Language and Automata
程序设计方法学 Programming Methodology
（3）学位专业课：
高级算法设计与分析 Advanced Algorithm Design and Analysis
高级软件工程 Advanced Software Engineering
数据库技术 Database Technology
专业外语 Specialized Foreign Language
专题讲座 Lectures on Special Topic
2、选修课程：
高级计算机系统结构 Advanced Computer Architecture
并行理论与通信 Concurrency Theory and Communication
论域理论 Domain Theory
计算机图形学 Computer Graphics
计算机网络 Computer Network
人工智能 Artificial Intelligence
遗传算法 Genetics Algorithm
软件可靠性与安全性 Software Reliability and Safety
形式语义学 Formal Semantics
高等工程数学 Advanced Engineering Mathematics
3、同等学力或跨专业报考者补修课程：
离散数学 Discrete Mathematics
数据结构与程序设计 Data Structures and Programming
4、实习
5、社会实践活动

（六）成绩考核
采用闭卷、开卷或者撰写专题论文以及程序设计等方式进行；成绩可以按百分制计，也可以分优（90分-100分）、良（80分-89分）、中（70分-79分）、及格（60分-69分）、不及格五等；必修课及格标准为“中”，选修课及格标准为“及格”。
（七）学位论文撰写
1、第四学期末，在导师指导下确定选题。
2、论文的选题和内容应具有一定理论价值和应用价值，有一定的创意和前沿性。
3、正文一般不少于三万字，外文摘要2000字符，中文摘要800字。
4、论文的封面、中外文提要、正文、附录和参考文献的编排，都必须符合国际通行的学术论文规范，所有的注码必须注明：①国别（或时代）、②作者（或译者）、③书刊名称、④卷次（章节）、⑤页码、⑥出版社、⑦出版时地；否则不能参加答辩。
5、为方便审读，论文行距应较宽松，用4号字或小四号字。
（八）论文答辩与学位授予
1、论文答辩
（1）学位论文由作者本人提交答辩委员会，由答辩秘书分送答辩委员。
（2）硕士学位论文答辩前须聘请2位（或以上）具有副教授（或以上）职称的专家评阅。
（3）答辩委员会由4-5名与选题有关的教授（或研究员）、副教授（或副研究员）组成。答辩委员会推举一名答辩主席，答辩人的导师和副导师不能担任答辩主席。答辩后由答辩委员会投票表决，答辩主席在答辩决议书上签字。
2、学位授予
论文在获三分之二（或以上）答辩委员通过后，答辩委员会可建议授予答辩人所申请的学位。