离散课后作业技巧.docVIP

1.1算法： 是对特定问题求解步骤的一种描述，是指令的有限序列。 程序：当一个算法用某种程序设计语言来描述时，得到的就是程序，也就是说,程序是用某种程序设计语言对算法的具体实现. 算法有输入、输出、确定性、能行性和有限性等特征，当不具备有穷性时，只能叫做计算过程，而不能称之为算法，算法可以终止，而程序没有此限制。 1.2程序证明和程序测试的目的各是什么？ 程序证明是确认一个算法能正确无误的工作. 程序测试的目的是发现错误 1-9 解: n!的递归定义： 求解n!的递归函数 long Factorial (long n) { if(n0) { cout”error!”; exit(0); } if(n==0) return 1; else return n *Factorial (n-1); } 使用归纳法，证明上题所设计的计算n！的递归函数的正确性 证明(归纳法证明)： (1)首先，如果n=0，那么程序执行 if(n==0) return 1; 返回1,算法显然正确; (2)假定函数Factorial对nk(1)能正确运行，那么，当n=k时，算法必定执行: else return k *Factorial (k-1); 因为Fac