热门文档
- 2022-09-18 20:22:00 中国人为什么看不起中国人 张鸣
- 2023-04-19 15:04:26 《千家妙方 上册 1982年》(李文亮等编)
- 2022-09-18 20:22:00 中国兵法之起源 编委会
- 2023-10-13 17:09:40 楚辞 中华传统诗词经典 可复制-李山-9787101097528
- 2022-11-24 16:17:09 《性体验与性爱心理》尤里-谢尔巴特赫
- 2022-11-24 16:17:09 《性爱健康指南》石四维编著
- 2023-10-13 17:09:40 超速学习：我这样做，一个月学会素描，一年学会四种语言，完成MIT四年课程-斯科特·扬著，林慈敏译-9789861755533
- 2022-09-18 19:48:57 心理催眠术 迈克尔.赫普,温迪.德雷顿著
- 2023-10-13 17:09:40 初中诗词格律读本 可复制-周建忠 徐乃为 王业强编著-9787101121704
- 2023-10-13 17:09:40 曾国藩家书 中华经典藏书(升级版)可复制-檀作文译注-9787101115482
- 2022-09-18 19:48:57 成功创业72绝招 艾凡著
- 2023-01-11 15:23:39 孔子学院传播研究_刘程 安然著_9787516112922
1、本文档共计 317 页，下载后文档不带www.pdfdz.com水印，支持完整阅读内容。
2、古籍基本都为PDF扫描版，所以文档不支持编辑功能，即不支持文档内文字的复制粘贴。
3、当您付费下载文档后，您只拥有了使用权限，并不意味着购买了版权，文档只能用于自身使用，不得用于其他商业用途（如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利）。
4、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。
5、如文档内容存在违规，或者侵犯商业秘密、侵犯著作权等，请点击“违规举报”。
2、古籍基本都为PDF扫描版，所以文档不支持编辑功能，即不支持文档内文字的复制粘贴。
3、当您付费下载文档后，您只拥有了使用权限，并不意味着购买了版权，文档只能用于自身使用，不得用于其他商业用途（如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利）。
4、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。
5、如文档内容存在违规，或者侵犯商业秘密、侵犯著作权等，请点击“违规举报”。
写在前面程序设计方法学是一门非常年轻、发展又极其迅速的学科，仅近十多年时间内，已趋向成熟，因此我们编写了这本教程，旨在阐明程序设计方法学的科学原理和方法，并按教学要求，尽可能地把那些公认为成熟的、具有实际应用意义的、最基本的内容收入书中，还适当地介绍了一些尚待进一步发展的研究课题。金书分为三部分，共十二章。第-一部分为1一4章。介绍程序的基本结构和程序设计的基本知识，并由此熟悉本教程所使用的程序设计语言T。第二部分为5一9章。在讨论了GOTO问题之后，第6章讲自顶向下的逐步求精方法；第7、8两章分别介绍过程和模块的设计方法，第9章是递归程序的设计方法。以上两部分内容组成了结构程序设计的基本内容。第三部分为10一12章，讨论了使用比较形式化的工具进行程序设计，第10章介绍程序的形式推导技术，第11章是程序变换技术，第12章论述了研制程序工具和环境的重要意义。这儿章的内容都是有待进一步深入研究的课题。书中附有大量习题，以作为各章内容的补充。书后的附录是程序设计语言T的文本。本书侧重于程序设计科学，也涉及到一部分程序设计技术。使读者能掌握基本的程序设计理论和方法，从而能应用到实际工程中去。因此，本书内容的重点是逐步求精，模块程序设计和程序的形式推导这三章。4有关程序的推导和变换是最近几年发展起来的课题。实际上，推导技术是结构程序设计的继续。它把程序设计提高到更加数学化和科学化的地步。为此，我们将Gries的近著“程序设计科学”一书的内容加以总结，汇集为一章加以介绍。书中所列入的程序变换技术虽然还未用于实际，但它已成为本世纪程序设计自动化研究的中心课题，可以使我们思路开阔，有助于指导实际工作。预计不久的将来，它无疑会成为程序设计的重要方法之一。除这些内容之外，程序设计方法学还应包括并发程序设计、多机通讯技术、函数型程序的代数变换、语言的公理化系统、语义学等，本书均未列入。一方面是为了使材料尽可能符合本教程的旨意；另一方面我们并不想使它成为一本理论性的教材，而希望是一本具有实际应用价值的、且以计算机科学为指导思想的教程。本书可供高等学校计算机科学系高年级学生或低年级研究生作为教科书或教学参考书，也可供同等学历的软件工程技术人员学习之用。我们假定读者已具备一般的程序设计语言知识和基本的数理逻辑知识，并有程序设计的训练，懂得的一般概念，学过大学一、二年级的数学课程。讲授本教程约儒60~80学时，各章节介绍的内容顺序可根据学生的情况加以改变，实例也不一定全部讲解。有条件的话，尽可能在计算机上作些实习。学完本教程的读者一定会感到，展示在眼前的程序设计技术将使你眼花瞭乱。但是，我们要劝告读者，掌握这门技术，必须亲自动手，在自己设计的系统中实际应用一下，至5
