计算机引论chap5-2讲讲课.ppt

计 算 机 科学引 论 (计算机科学与技术方法论) 第五章 计算学科中的数学方法 第2讲 上讲要点回顾及本讲内容提要 §5-5 证明方法 §5-5-1 直接证明法和间接证明法 1、直接证明法 证明命题A→B，假定A为真,通过公理或定理证明B也为真.直接从A开始去推导B的证明方法 例5.17 用直接证明法证明“若p是偶数，则p2是偶数”。 证明：假定p是偶数为真，设p=2k（k为整数）。由此可得，p2=2（2k2）。因此，p2是偶数（它是一个整数的2倍）。 §5-5-2 反证法  利用反证法证明 是无理数 证明：利用反证法，假设 是有理数。则： §5-5-3 归纳法 归纳法：是从特殊推理出一般的证明方法 。 不完全归纳法：根据部分特殊情况作出推理 完全归纳法：考虑到所有特殊情况的证明方法 数学归纳法: 基本原理 形式化定义 数学归纳法实例 例5.20 求证命题P(n)： “从1开始，连续n个奇数之和是n的平方”，即公式：1+3+5+…+(2n-1) = n2 成立。 §5-5-3 构造性证明 存在性证明 存在一个x使命题p(x)成立，可表示为： 形如 的证明称为存在性证明。 构造性证明 通过找（构造）出一个使得命题p(a)成立的元素a完成存在性证明的方法。 不光要证明解存在，还要给出解决该问题的步骤 5-6-1 递归 递归的基本思想 递归及其有关概念 ⑴ 递归关系：指一个数列的若干连续项之间的关系。 ⑵ 递归数列：指由递归关系所确定的数列。 斐波那契数列： 0,1,1,2,3,5,8,13,21,34,…，Fn+2=Fn+1+Fn ,… ⑶ 递归过程：指调用“自身”的过程。 ⑷ 递归算法：指包含递归过程的算法。 ⑸ 递归程序：指直接或间接调用自身的程序 ⑹ 递归方法： 递归与数学归纳法的关系 例5.13 计算5×6 计算方法之一： 6，6+6=12，12+6=18，18+6=24，24+6=30。 计算方法之二： 5×6， 递归与数学归纳法的关系 与数学归纳法相对应，递归也由递归基础和递归步骤组成。 数学归纳法是一种论证方法，而递归是算法和程序设计的一种实现技术，一般涉及递归定义的证明通常采用数学归纳法。 递归的定义功能 定义序列 例5.22 现有序列：2,5,11,23,…, an=2an-1+1,…。请给出其递归定义。 定义函数 例5.23， 给出阶乘：F(n) = n! 的递归定义。 阿克曼函数 解阿克曼函数A(m,n)的递归算法: 例5.25 计算A(1,2) §5-6-2 迭代 “迭”是屡次和反复的意思，“代”是替换的意思，合起来，“迭代”就是反复替换的意思。 迭代与递归有着密切的联系，比如： 序列X0=a，Xn+1=f(n)的递归关系也可以看作是数列的迭代关系。 递归与迭代虽然本质相同，但实际还是有一些差别。 可以证明迭代程序都可以转换为与它等价的递归程序；反之，则不然。 效率：递归比迭代耗费更多的时间和空间，具体实现时希望尽可能将递归程序转化为等价的迭代程序。 递归和迭代的求解过程比较 递归是利用以前的结果，利用递归的调用实施计算， 利用S(n-1)计算S(n)，要得到S(n-1)，就必须进一步“递归”…，直到“递归”到初始项S(1) ，最终计算出S(n)； 而迭代通常是调用相同的子程序，也利用“以前”的结果Sn-1，但Sn-1不直接参与Sn的计算，而仅作为与迭代结束的条件“ε”进行比较的依据。 即：使 |Sn - Sn-1| ε 满足精度的要求，计算就结束; 否则，继续计算Sn，直到满足迭代条件为止。 猴子吃桃问题 猴子第一天摘下若干个桃子，当即吃了一半，还不瘾，又多吃了一个，第二天早上又将剩下的桃子吃掉一半，又多吃了一个。以后每天早上都吃了前一天剩下的一半零一个，到第10天早上想再吃时，见只剩下一个桃子了，求第一天共摘了多少？ 5.7 公理化方法 本节介绍的公理化方面的有关内容，包括理论体系的公理化构建。 5.7.1 理论体系 1．什么是理论 理论是基本概念、基本原理或定律以及由这些概念与原理逻辑推理出来的结论组成的集合，该概念可以形式化地定义为： T=C，P，S 其中： （1）T表示理论； （2）C表示基本概念的集合； （3）P表示基本原理或定律的集合； （4）S表示由这些概念与原理逻辑推理出来的结论组成的集合。 §5-7 公理化方法 §5-7-2 公理化方法的基本概念 1、什么是公理化方法 是一种构造理论体系的演绎方法，它是从尽可能少的基本概念、公理出发，运用