程序设计方法学 第二章 程序设计的基本理论
- 格式:ppt
- 大小:790.00 KB
- 文档页数:55
程序设计基础复习知识点整理1.编程语言概述-什么是编程语言-常见的编程语言种类及特点-编程语言的发展历史2.程序的基本概念-程序的定义与作用-程序的编写过程-程序的执行过程-程序的调试与测试3.数据类型-基本数据类型的定义与特点-引用数据类型的定义与特点-数据类型的转换与操作4.变量与常量-变量的定义与声明-变量的赋值与引用-常量的定义与使用5.运算符与表达式-算术运算符的使用与优先级-逻辑运算符的使用与优先级-赋值运算符的使用与优先级-表达式的求值与结果6.控制流程-顺序结构的控制-分支结构的控制-循环结构的控制-控制流程的嵌套与组合7.函数与模块-函数的定义与调用-函数的参数与返回值-模块的定义与使用-模块的分割与合并8.数组与字符串-数组的定义与使用-数组的遍历与操作-字符串的定义与使用-字符串的比较与操作9.文件与输入输出-文件的打开与关闭-文件的读取与写入-输入输出的基本操作-输入输出的格式控制10.错误处理与异常-错误处理的基本思路-异常的定义与抛出-异常的捕捉与处理-异常处理的原则与注意事项以上是程序设计基础的复习知识点的整理,下面补充详细内容。
1.编程语言概述-编程语言是一种用于描述计算机程序的形式化语言,用于指导计算机执行特定任务。
- 常见的编程语言种类包括C、C++、Java、Python、JavaScript等,每种编程语言有其自身的特点和用途。
-编程语言的发展经历了机器语言、汇编语言、高级语言等阶段,不断提高程序的可读性、可维护性和可移植性。
2.程序的基本概念-程序是一系列指令的集合,描述了完成项任务所需的计算机操作。
-程序的编写过程包括问题分析、算法设计、代码实现、调试和测试等步骤。
-程序的执行过程包括输入数据、处理数据和输出结果等步骤。
-程序的调试与测试是发现和修复错误的过程,包括逐行调试、运行时错误报告和测试用例编写等方法。
3.数据类型-基本数据类型用于存储简单的数据,如整数、浮点数、字符和布尔值等。
第2章程序设计的基本方法对于初学者来说,写出一个满足题目要求的程序并不是一件简单的事情。
明明已经了解和掌握了C语言中各种语句的语法和语义以及C程序的基本结构,对题目的要求似乎也都清楚,但就是不知道怎样写出一个满足题目要求的程序:或者是程序运行所产生的结果不对,或者是程序一运行就崩溃,或者有时感觉根本就无从下手。
出现这种情况是很正常的。
编程是用程序设计语言描述一种可以让计算机准确执行的计算过程,以期完成所需的计算。
这里涉及内容和表达两个方面。
所谓内容就是要有明确的解决问题的思路和方案,所谓表达就是使用程序设计语言对问题的解决方案,包括计算的过程和步骤、所采用的算法和数据结构等,进行准确的描述。
大部分初学者在程序设计的学习过程中首先把注意力集中在对程序设计语言本身的学习上,需要了解和掌握程序设计语言的基本要素、熟记各种关键字和各种语句的语法、含意和基本使用方法,因此还没有足够的时间和精力去学习和掌握使用这些语句去编写程序的方法和技巧,更难以关注如何从任务的要求入手,构思一个合理的解决方案,以及如何准确有效地实现这一方案,保证所完成的程序正确可靠地运行。
这是学习过程中的一个必然阶段,就好像人们首先要学习和掌握写字和造句,然后才能练习写文章一样。
但是,如果注意掌握正确的学习方法,在学习程序设计语言的同时注意学习程序设计的方法和对程序设计语言的运用,则可以收到事半功倍的效果。
和学习写作需要掌握遣词造句、布局谋篇、起承转合相类似,学习程序设计也要掌握一些专门的方法。
与使用自然语言写作相比,程序设计语言的词汇和语法都要简单得多,写程序的方法和步骤也更加规范和易于掌握。
因此,经过一定的学习和练习,编写符合题目要求的程序将不再是一件很困难的事情。
2.1 程序设计的基本过程和解决任何其他问题一样,在进行程序设计时,需要首先明确的是需要解决的问题和已知的条件。
只有在这两者都明确的情况下,才有可能找到从出发点通向目标的正确道路。
第二章程序设计基础2.1程序设计方法与风格程序设计是一门艺术,需要相应的理论、技术、方法和工具来支持。
就程序设计方法和技术的发展而言,主要经过了结构化程序设计和面向对象程序设计阶段。
除了好的程序设计方法和技术外,程序设计风格也是很重要的。
因为程序设计风格会深刻地影响软件的质量和可维护性,良好的程序设计风格可以使程序结构清晰合理,使程序代码便于维护,因此程序设计风格对保证程序的质量是很重要的。
一般来说,程序设计风格是指编写程序时所表现出的特点、习惯和逻辑思路。
程序是由人来编写的,为了测试和维护程序,往往还要阅读和跟踪程序,因此程序设计的风格总体而言应该强调简单和清晰,程序必须是可理解的。
可以认为,著名的“清晰第一,效率第二”的论点已成为当今主导程序设计风格。
要形成良好的程序设计风格,主要应注重和考虑下述一些因素。
1、源程序文档化源程序文档化应考虑如下几点:(1)符号名的命名:符号名的命名应具有一定实际意义,以便于对程序功能的理解。
(2)程序注释:正确的注释能够帮助读者理解程序。
注释一般包括序言性注释和功能性注释。
序言性注释通常位于每个程序的开头部分,它给出程序的整体说明,主要描述内容包括:程序标题、程序功能说明、主要算法、接口说明、程序位置、开发简历、程序设计者、复审者、复审日期、修改日期等。
功能性注释的位置一般嵌在源程序体之中,主要描述其后的语句或程序做什么。
(3)视觉组织:为使程序的结构一目了然,可以在程序中利用空格、空行、缩进等技巧使程序层次清晰。
2、数据说明的方法在编写程序时,需要注意数据说明的风格,以便使程序中的数据说明更易于理解和维护。
一般应注意以下几点:(1)数据说明的次序规范化。
鉴于程序理解、阅读和维护的需要,使数据说明次序固定,可以使数据的属性容易查找,也有利于测试、排错和维护。
(2)说明语句中变量安排有序化。
当一个说明语句说明多个变量时,变量按字母顺序排列为好。
(3)使用注释来说明复杂数据的结构。
1.1 程序与程序语言1.2.1 程序与程序语言1.计算机语言什么是计算机语言?为什么要使用计算机语言?过去,一提到语言这个词,人们自然想到的是像英语、汉语等这样的自然语言,因为它是人和人相互交流信息不可缺少的工具。
而今天,计算机遍布了我们生活的每一个角落,除了人和人之间的相互交流之外,我们必须和计算机交流。
用什么样的方式和计算机做最直接的交流呢?人们自然想到的是最古老也最方便的方式--语言。
人和人交流用的是双方都能听懂和读懂的自然语言,同样,人和计算机交流也要用人和计算机都容易接受和理解的语言,这就是计算机语言。
人们用自然语言讲述和书写,目的是给另外的人传播信息。
同样,我们使用计算机语言把我们的意图表达给计算机,目的是使用计算机。
计算机语言是根据计算机的特点而编制的,它没有自然语言那么丰富多样,而只是有限规则的集合,所以它简单易学。
但是,也正因为它是根据机器的特点编制的,所以交流中无法意会和言传,而更多地表现了说一不二,表现了"规则"的严谨。
例如该是";"的地方不能写成".",该写"a"的地方不能写成"A",这使得人和计算机的交流在一开始会有些不习惯。
不过,只要认识到计算机语言的特点,注意学习方法,把必须的严谨和恰当的灵活相结合,一切都会得心应手。
2.程序我们知道,计算机是一种具有内部存储能力的自动、高效的电子设备,它最本质的使命就是执行指令所规定的操作。
如果我们需要计算机完成什么工作,只要将其步骤用诸条指令的形式描述出来,并把这些指令存放在计算机的内部存储器中,需要结果时就向计算机发出一个简单的命令,计算机就会自动逐条顺序执行操作,全部指令执行完就得到了预期的结果。
这种可以被连续执行的一条条指令的集合称为计算机的程序。
也就是说,程序是计算机指令的序列,编制程序的工作就是为计算机安排指令序列。
但是,我们知道,指令是二进制编码,用它编制程序既难记忆,又难掌握,所以,计算机工作者就研制出了各种计算机能够懂得、人们又方便使用的计算机语言,程序就是用计算机语言来编写的。
计算机科学与技术专业选修课程《程序设计方法学》选课介绍课程英文名称:Programming Methodology是否是双语课程:否教师:杨宗源办公地址:闵行校区信息楼319室办公电话:54345109Email:yzyuan@课程内容介绍:讲授程序设计方法学的地位和重要性;程序控制结构构成的基本原理、基本成份;数据类型、数据抽象、抽象数据类型对程序设计及程序设计语言的影响及重要性;程序正确性证明的基本方法;形式化软件开发的基本原理和典型方法;并行程序设计基本概念,并行程序设计的基本方法.教材:教材:无参考书目:1. 《程序设计方法学》胡正国国防工业出版社2. 《程序设计方法学基础》陈火旺湖南科学技术出版社3. 《程序设计方法学》仲萃豪吉林大学出版社4. 《程序设计方法学教程》张幸儿南京大学出版社5. 《现代软件工程》周之英科学出版社6. 《形式语义学基础与形式说明》屈延文科学出版社7. 《The Science of Programming》Gries, D.8. 《Communicating Sequential Processos》Hoare,C.A.R9. 《Programming from Specification》Carroll Morgan10. 《对象技术导论》冯玉琳科学出版社先修课程:计算机科学技术专业本科的主干课程. 教学实施:课堂讲授讲课大纲:第一章.综述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人其他说明:本课程是硕士研究生的学位基础课。