热门文档
- 2022-09-18 20:22:00 中国人为什么看不起中国人 张鸣
- 2022-09-18 20:22:00 中国兵法之起源 编委会
- 2022-09-18 19:48:57 心理催眠术 迈克尔.赫普,温迪.德雷顿著
- 2022-11-24 16:17:09 《性体验与性爱心理》尤里-谢尔巴特赫
- 2022-11-27 20:51:00 《英语是玩出来的》何杰 刘丽芳
- 2022-09-19 20:00:37 《社会契约论》卢梭著 何兆武译
- 2022-09-18 19:48:57 成功创业72绝招 艾凡著
- 2022-11-22 08:41:49 【测试文档】小学语文口语交际写作技巧大全
- 2022-09-18 20:22:00 中国企业的六西格玛管理之道 魏中龙主编
- 2022-09-19 10:52:47 《计算机原理与系统结构》侯炳辉主编
- 2022-12-05 15:23:18 《做你自己股神巴菲特送给儿子的人生礼物》巴菲特著 赵亚男译
- 2022-10-02 14:44:45 《心理咨询导论 第3版》约翰·麦克里奥德 潘洁编著
1、本文档共计 162 页，下载后文档不带www.pdfdz.com水印，支持完整阅读内容。
2、古籍基本都为PDF扫描版，所以文档不支持编辑功能，即不支持文档内文字的复制粘贴。
3、当您付费下载文档后，您只拥有了使用权限，并不意味着购买了版权，文档只能用于自身使用，不得用于其他商业用途（如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利）。
4、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。
5、如文档内容存在违规，或者侵犯商业秘密、侵犯著作权等，请点击“违规举报”。
2、古籍基本都为PDF扫描版，所以文档不支持编辑功能，即不支持文档内文字的复制粘贴。
3、当您付费下载文档后，您只拥有了使用权限，并不意味着购买了版权，文档只能用于自身使用，不得用于其他商业用途（如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利）。
4、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。
5、如文档内容存在违规，或者侵犯商业秘密、侵犯著作权等，请点击“违规举报”。
引言1。指定计算机完成一件工作，首先要编程序.早期的计算机程序是直接用机器指令编写的.因此，在设计程序时必须考虑到机器的一切细节；而在一台机器上编制程序时所需要的最精细的知识，对另一台机器可能完全无用。为了研究程序设计的理论和方法，必须摆脱计算机的细节，也就是说，不应只是针对某种特定型号的计算机来讨论问题，要抓住各种计算机的共性，2。任何计算机都能进行一些动作。这些动作涉及一些对象（存贮器中的信息等），并产生一定的效果有些动作是基本的，比如计算一个算术表达式；有些动作是由许多基本动作组成的。在本书范围内，假定这些动作总是一个接着一个进行的。一系列有关的动作连接成一个过程，一系列较简单的过程又连接成一个较大的过程，最后完成用一串符号把一个计算过程描述出来，就是一个程序.程序必须书写得准确严谨，照顾到每一个细节。这是因为计算机缺乏通常说的理解力。因此，就要制定一些严格的规则，以确定什么样的符号表示什么样的程序。这些规则的总和就叫做一种语言。我们研究程序设计时，可以选用一种适当的语言。这样，我们就可以只研究用语言书写的程序，而不去过问这种程序在具体的计算机上到底是怎样实现的。从这个意义上说，语言就是一种抽象计算机。3.最早出现的有生命力的语言应推FORTRAN和ALGOL60等.随着计算机及其应用的发展，各种语言不断涌现。六十年代末到七十年代初，在结构程序设计思想的影响下，出现了PASCAL语言，成为语言发展史上的一个里程碑。后来许多语言都是在PASCAL的影响下发展出来的.在研究程序设计时，采用PASCAL有特别的好处，因为它集中了现代程序设计的主要思想，又没有种种发达的细节干扰这些思想.但本书不是PASCAL教科书，也不能看成是某一版PASCAL的手册。读者在实习时，必须仔细阅读文本，并注意在不同机器上实现的PASCAL常常会有一些细节4,一个完整的程序设计过程大体有以下几个步骤：(1)要把程序的功能描述清楚。这个程序要加工什么数据？希望得到什么结果？用什么办法加工？这些都要利用定义、定理、公式、函数等数学工具准确地表达出来。因此，一个程序员必须掌握形式化的方法，(2)用程序语言把预定的计算方案书写出来。这是程序设计中最有特色的部分。简单的计算可以直觉地进行程序设计.复杂的计算往往可以由简单的程序按照各种模式搭配而成。然而，却没有一种机械的办法可生成各种程序，换句话说，程序的设计是一件具有创造性的工作。(3)证明程序的正确性。一个程序是否正确是应该证明的。通常，有一些机械的步骤可以把一个程序的正确性归结为证明一组逻辑公式。但是也有一些办法可以简化证明过(4)在实际工作中，试算与修正是不可缺少的。由于在以上三个步骤中难免发生错误，所以要选择有代表性的例题进行试算，看是否能得到预期的答案。如果前面三步都已谨
