PM-Chap6小程序设计的基本方法.pptVIP

第六章 程序设计基本方法 主要内容： 引言--程序设计的基本原则 选择语句的设计 循环语句的设计 循环不变式的设计 界函数的设计 6.1 程序设计的基本原则 Principle 1: A program and its proof should be developed hand in hand, with the proof usually leading the way, 一个程序和它的正确性证明应同时设计，并且最好以考虑证明为先导。 Principle 2：使用理论来提供正确性的理解，而在适当的地方用常识和直观方法，但当出现困难和复杂情况时，仍然依据形式理论作保证。当然一个人只有既有常识又掌握理论才能有效地在形式化和常识之间进行协调，前者是程序员一直在使用。 6.1 程序设计的基本原则 Principle 3：要了解将用程序来处理的对象的性质。 例：假设有一袋装有黑白两色棋子。每次从袋中任取两粒子，若它们同色，则丢掉这两粒子，然后再补进一只黑子，否则丢掉黑子，放回白子。连续执行这一步骤，直至袋中只剩下一子为止。试问最后这一子是黑或白？编一程序回答此问题。 6.1 程序设计的基本原则 Principle 4：不要忽视任何看起来十分明显的原则，只有通过有意识地运用这些原则才会获得成功。 Principle 5：认识一个原则和应用一个原则是两回事。 Ideas ma