计算机科学与技术专业选修课程.docx

计算机科学与技术专业选修课程

第一篇：计算机科学与技术专业选修课程计算机科学与技术专业选修课程《程序设计方法学》选课介绍课程英文名称：ProgrammingMethodology是否是双语课程：否教师：杨宗源办公地址：闵行校区信息楼319室办公电话：54345109Email：课程内容介绍：讲授程序设计方法学的地位和重要性；程序控制结构构成的基本原理、基本成份；数据类型、数据抽象、抽象数据类型对程序设计及程序设计语言的影响及重要性；程序正确性证明的基本方法；形式化软件开发的基本原理和典型方法；并行程序设计基本概念,并行程序设计的基本方法.教材：教材：无参考书目：1.《程序设计方法学》胡正国国防工业出版社2.《程序设计方法学基础》陈火旺湖南科学技术出版社3.《程序设计方法学》仲萃豪吉林大学出版社4.《程序设计方法学教程》张幸儿南京大学出版社5.《现代软件工程》周之英科学出版社6.《形式语义学基础与形式说明》屈延文科学出版社7.《TheScienceofProgramming》Gries,D.8.《CommunicatingSequentialProcessos》Hoare,C.A.R9.《ProgrammingfromSpecification》CarrollMorgan10.《对象技术导论》冯玉琳科学出版社先修课程：计算机科学技术专业本科的主干课程.教学实施：课堂讲授讲课大纲：第一章．综述1.程序设计方法学发展与回顾2.若干有争议问题的讨论第二章．程序的基本结构1.Proper程序和Prime程序2.复合程序3结构定理.4.递归结构定理第三章．程序的数据结构1.类型与类型系统程序2.程序设计语言中的数据类型3.抽象与抽象数据类型4.面向对象方法5.面向方面编程第四章．程序的正确性证明1.程序规范与程序的正确性定义2.部分正确性证明方法3.完全正确性证明方法4.最弱前置谓词第五章．程序的形式推导方法1.面向目标的程序推导方法2.不变式推导方法第六章．程序设计的形式化方法1.概述2.基于代数方法的规范语言–OBJ3.基于模型方法的规范语言–VDM第七章．并行程序设计方法1.基本概念2.并行系统3.并行程序设计语言4.通讯顺序进程(CSP)上课时间：上课时间：每周3节考核方式：笔试（闭卷）100%可选学生人数：20人其他说明：本课程是硕士研究生的学位基础课。要求学有余力、优秀的本科生可以选读。形式化方法是本课程的主要内容，如何使学生理解、掌握、运用该方法将贯穿于教学的始终。第二篇：计算机科学与技术专业——课程说明计算机科学与技术专业——课程说明1．计算机数学基础计算机数学基础是计算机专业重要的基础课程，它是学习专业理论课不可缺少的数学工具。本课程主要包括：数理逻辑、集合论、图论、代数系统和数值分析等内容，是一门理论性较强，应用性较广的课程。通过本课程的教学，要求学生：1)掌握离散数学的基本概念和基本原理，进一步提高抽象思维和逻辑推理的能力。2)熟悉数值计算方法的基本原理和基本方法，掌握常见的数值计算方法，提高数值计算能力。2．面向对象程序设计面向对象软件开发方法是吸收了软件工程领域有益的概念和有效的方法而发展起来的一种软件开发方法。它集抽象性、封装性、继承性和多态性于一体，可以帮助人们开发出模块化、数据抽象程度高的，体现信息隐蔽、可复用、易修改、易扩充等特性的程序。本课程主要介绍面向对象程序设计的方法和C++语言的基本概念。以C++语言中的面向对象机制为主。学习者在学习过程中可以通过大量的程序实例和相关练习，逐步掌握C++的面向过程和面向对象的功能，从而掌握面向对象程序设计的基本知识和基本技能。在本课程中，作为一种编程环境，简要介绍了VISUALC++5.0中最基本的编程工具。3．数据结构本课程介绍如何组织各种数据在计算机中的存储、传递和转换。内容包括：数组、链接表、栈和队列、递归、树与森林、图、堆与优先级队列、集合与搜索结构、排序、索引与散列结构等。课程采用面向对象的观点讨论数据结构技术，并以兼有面向过程和面向对象双重特色的C++语言作为算法的描述工具，强化数据结构基本知识和面向对象程序设计基本能力的双基训练。为后续计算机专业课程的学习打下坚实的基础。4．微机接口技术本课程以当今主流微处理器80X86为结合点，分析它的结构特点、操作原理、指令系统以及汇编语言程序设计的基本方法。重点讲解80X86外围主要支援芯片的功能、结构、编程方法以及接口技术。在此基础上，对键盘、LED数码显示器、打印机、AD与DA转换器等基本外部设备的原理与接口技术进行讨论。此外对微计算机系统总线、先进的微处理器结构也给以介绍。通过本课程的学习和实验，使学生掌握微机接口的基本设计原理和技术。5．信号处理原理本课程是本专业必修的重要课程之一，目的是通过理论学习