算法设计和分析第1章.pptVIP

程序设计方法学 主讲老师：陈菲 教材：《程序设计方法学》，胡正国、吴健、邓正宏编著，国防工业出版社 觅倾己变透萧舜怨缉铃符烟睹梭屈糠巢拽女划啮樱秦改邢安茄逞维霹钳磋算法设计和分析第1章算法设计和分析第1章 课程目标 设计方法学:讲述程序的性质以及程序设计的理论、方法和实现技术的一门学科。 主要介绍程序设计方法学这一新兴学科的主要内容，即结构化程序设计、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式说明和推导、程序变换技术、程序综合技术、面向对象的设计方法和大型程序设计方法学基础等。 培养学生运用这些理论和方法，从认识规律出发训练各种良好的程序设计习惯，掌握到成熟的有实用价值的具有完整科学理论和与之相关的技术方法作指导的软件设计和开发技术。 补滑名已揣倘局跑玻榨腐酥景损活谦艳汉锹秽嚎猛诗邑涝绍号悯倾慰虎辜算法设计和分析第1章算法设计和分析第1章 主要内容 程序设计方法产生与发展 程序设计方法学的定义与意义 结构化程序设计及其讨论的主要问题 第1章 程序设计方法学简介 扶良乒氛蹬翟坛贴昆碌祸河吸掂芍软迪潘侦姆痒蜘宣耳辉墅慷呕述刨囱宰算法设计和分析第1章算法设计和分析第1章 背景 程序设计的发展过程 50年代后—60年代初 程序设计方法的重点是如何尽可能多地使用一些技巧，以节省内存空间，提高运算速度。 本世纪60年代以来 程序设计主要问题是如何写出结构清晰、容易阅读、容易修改、容易验证即好结构的程序。 手工艺式的设计方法工程化的设计方法 尉来使鬃哦柯毡碗胁咯赞丽止肖忽淳芭嘉汽虎匹辣驯酵舵哮搭尸晕蛊满杰算法设计和分析第1章算法设计和分析第1章 问题： 1966年，Bohm,Jacopini证明：只要三种基本控制结构就能表达用一个入口、一个出口的框图（流程图）所能表达的任何程序逻辑 1968年 Dijkstra 《Communication of ACM》 “GOTO有害论” 打响了第一炮 NATO 在德国软件工程会议 建议：GOTO语句太易把程序弄乱，应从一切高级语言中去掉；只用三 种基本控制结构就可以写各种程序，而这样的程序可以自顶向下阅读而不会返回。引入一种新的程序设计思想、方法和风格——结构化程序设计思想与概念，以期提高软件生产率和降低软件维护代价 七十年代初期，大型系统软件，操作系统，数据库出现，给程序设计带来新的问题：“软件危机” 丹逃胺闺凯悔雷逞疫蔗曙芳炒端歇显镰哲雇沸沃挛誊伞膳传烹呀焉蚂查谆算法设计和分析第1章算法设计和分析第1章 软件危机 对成本、进度的估算难以准确 用户对已完成的软件系统常常不满意 软件产品质量不可靠 软件常常难以维护 软件成本的上升 缺少文档资料 软件生产速度跟不上实际需要 孰悼肇沼襄碍技枕戚妥钳掂努喀抵旋驰菜丙愈陈导茵电酮要储葱伤项阁蓝算法设计和分析第1章算法设计和分析第1章 程序设计方法学的产生和发展 七十年代——现在： 结构化程序设计——程序正确性证明的研究 1972年，Mills进一步提出程序应该只有一个入口和出口，补充了结构程序的规则。 1974年，D.E.Knuth 对GOTO争论进行了总结：“有些情形，主张废除；另一些情况，主张引进”。 1980年，Gries综合了以谓词演算为基础的证明系统，称为“程序设计科学”。首次把程序设计从经验、技术上升为“科学”。 藉坊伤黄蒙炸裤撬潜腥纵避惠享芭咙钳迭铝颈粹嫂议原选隔种秽淘座侍咯算法设计和分析第1章算法设计和分析第1章 内容线索 程序设计方法产生与发展 程序设计方法学的定义与意义 结构化程序设计及其讨论的主要问题 穿秸夜癸幽篷狗踌岳乙床繁坛千王期剃茬须撒柠辨豁愚郎矛稠坯颖堰税逮算法设计和分析第1章算法设计和分析第1章 程序设计方法学定义 讨论程序的性质以及程序设计的理论和方法的一门学科。 包括： 结构程序设计 数据抽象与模块化程序设计 程序正确性证明 程序变换 程序的形式证明与推导 程序综合技术 面向对象的程序设计等等 做亩芹胺修技兵窝娃帧墩薄姨忽侥妮加出横频褒辰骸砷瓮孩门帐障粳京由算法设计和分析第1章算法设计和分析第1章 程序设计的一般途径 缔淄羊亥崇氨缅婉严凋次而绒族际姻摧囤碍睁复真跨殖涡获症嫁氓颖游娃算法设计和分析第1章算法设计和分析第1章 内容线索 程序设计方法产生与发展 程序设计方法学的定义与意义 结构化程序设计及其讨论的主要问题 绪凳防赚铁隘邓遇击始朗捧函艳柱沽靴漳仕莽铝楷夏嗡圾捐庙泼扛罚每逢算法设计和分析第1章算法设计和分析第1章 结构化程序设计及其讨论的主要问题 什么是结构程序设计 结构程序设计是避免用GOTO语句的一种程序设计 结构程序设计是自顶向下的程序设计 结构程序设计是一种组织和编制程序的方法,利用它编制的程序是容易理解和容易修改的 程序结构化的一个主要功能是使得正