计算机学科方法论培训课件.pptVIP

9.5 计算机学科中的核心概念 折衷和结果（Tradeoff and Consequences） 折衷指的是为满足系统的可实施性而对系统设计中的技术方案所作出的一种合理的取舍。 折衷的结果是指选择一种方案代替另一种方案所产生的技术、经济、文化及其他方面的影响。 折衷存在于计算机学科领域的各个层次上。 在设计算法时，要考虑空间和时间的折衷。 在设计系统时，要考虑成本和可靠性的折衷。 9.6 计算机学科中的数学方法 数学的基本特征 数学方法的作用 数学中的证明方法 递归方法与迭代方法 公理化方法 形式化方法 计算机数学 9.6.1 数学的基本特征 数学 研究现实世界的空间形式和数量关系的一门科学。 三个特征 高度的抽象性/严密的逻辑性/普遍的适用性。 算法(程序)设计的基础是数学。 9.6.2 数学方法的作用 对科学技术研究的作用 提供简洁精确的形式化语言 提供定量分析和计算的方法 提供严密的逻辑推理工具 9.6.3 数学中的证明方法 直接证明法 含义：假定A为真，通过使用公理或已证明的定理以及正确的推理规则证明B也为真，以此证明蕴含式A→B为真。 示例：若n为奇数，则n+1为偶数。 证明：因为 n为奇数； 所以 n = 2k+1（k为整数）； 因此有 n+1 = 2k+2 = 2（k+1）； 所以 n+1是偶数。 9.6.3 数学中的证明方法 反证法 含义：首先假定要证明的命题不成立，然后通过正确的推理得出与已知（或假设）条件、公理、定理等相互矛盾或自相矛盾的结果，以此证明假定要证明的命题不成立是错误的，成立才是正确的。 示例：若n2为奇数，则n为奇数。 证明：假定在n2为奇数的前提下，n为偶数； 则有 n = 2k（k为整数）； 于是有 n2 = (2k)2 = 4k2 = 2（2k2）； 则有 n2是偶数，与原假定n2为奇数矛盾； 所以假定n为偶数是错误的，n应为奇数。 9.6.3 数学中的证明方法 数学归纳法 含义：是一种用于证明与自然数有关的命题正确性的证明方法，该方法能用有限的步骤解决无穷对象的论证问题。 示例：一棵非空二叉树的第i层（i≥1）上最多有2i-1个结点。 证明：设i=1，由于此时二叉树只有一个结点，而2i-1=20=1， 所以i=1时正确； 设i=k（k≥1）时结论正确，即第k层上有2k-1个结点； 那么，i=k+1时，第k+1层上最多有2×2k-1=2k=2（k+1）-1 个结点； 结论得以证明。 9.6.3 数学中的证明方法 构造性证明 存在性证明 存在一个x使命题P(x)成立可表示为?xP(x)，对形如 ?xP(x)的命题的证明。 构造性证明 通过找出一个使得命题P(a)为真的元素a，从而完成该函数值的存在性证明。 9.6.3 数学中的证明方法 构造性证明 存在性证明示例：每个喜欢步行的人都不喜欢坐汽车；每个人或者喜欢坐汽车或者喜欢骑自行车；有的人不喜欢骑自行车，因而有的人不喜欢步行。 假设谓词如下： H(x)：x是人； P(x)：x喜欢坐汽车； Q(x)：x喜欢骑自行车； R(x)：x喜欢步行。 则题目中的句子可符号化为： 前提： ∨x ( H(x)∧R(x) →﹁P(x))， ∨x( H(x) →P(x)∨Q(x))， (?x)(H(x)∧﹁Q(x)) 结论：(?x)(H(x)∧﹁R(x)) 9.6.4 递归方法与迭代方法 递归方法 含义：一种在有限步骤内，根据特定的法则或公式对一个或多个前面的元素进行运算，以确定一系列元素的方法。 示例： 数列的递归定义。 对于数列1，2，3，5，8，13，21，34，55，89，… 可以给出如下递归定义公式： a1=1； a2=2； an=an-1+an-2 （n3）。 计算机导论 第9章 计算机学科方法论 内容来源 中国计算机学会计算机学