20140501-大学计算机第3讲-程序与递归-组合-抽象-构造概要.ppt

* * * * * * * * * * * * * * * * * * * * * (define (fib n) ( fib-iter 1 0 n) ) (define (fib-iter a b count) ( cond ((= count 0) b) ((> count 0) ( fib-iter (+ a b) a (- count 1) )))) 示例：求Fibonacci数列的算法或程序---迭代 递归与迭代程序的执行 (7)迭代程序及其执行过程的另一示例 递归定义 迭代程序 迭代程序的执行过程 递归是计算技术的典型特征，是以有限的表达方式来表达无限对象实例或无限计算步骤的一种经典的计算思维 递归覆盖了重复、迭代和递归，递归是最典型的构造手段 递归函数是可计算函数的精确的数学描述---计算理论的重要研究内容； (后面将介绍的)图灵机本质上也是递归：图灵可计算函数与递归函数等价，凡可计算的函数都是一般递归函数---丘奇-图灵命题---计算理论的重要研究内容； 关于递归的进一步学习 递归与迭代程序的执行 (8)递归还有什么? 什么是程序? 程序的本质是什么? 计算系统的构造 程序---对基本动作的组合 计算系统---执行程序的系统 程序本质---组合、抽象、构造与执行 实例层面：运算组合式 概念层面：计算系统与程序 程序构造的基本方法：递归与迭代 组合/抽象 ? 递归 递归定义、递归算法、递归计算 相互关联且递进的方式展开与贯通 概念/原理与案例相结合 知识伴随思维，思维贯通知识 递归与迭代程序的执行 (9)小结? 组合 抽象 构造 递归 迭代 用递归定义 用递归构造 递归计算/执行 计算系统 程序 递归与迭代程序的执行 (9)小结? * * * * * * * * * * * 嵌套 * * * 递归是一种表达相似性对象及动作的无限性构造的方法。 递归基础：定义、构造和计算的起点，直接给出； 递归步骤：由前n项或第n项定义第n+1项；由低阶f(k)且k<n，来构造高阶f(n+1) 递归的概念 (4)什么是递归? 递归是一种关于抽象的表达方法---用递归定义无限的相似事物 递归是一种算法或程序的构造技术---自身调用自身，高阶调用低阶，构造无限的计算步骤 递归是一种典型的计算/执行过程---由后向前代入，直至代入到递归基础，再由递归基础向后计算直至计算出最终结果，即由前向后计算 用递归定义 用递归构造 递归计算/执行 组合 抽象 构造 递归 递归的概念 (5)小结 用递归定义 用递归构造 递归计算/执行 递归 基础 递归 步骤 原始递归函数-复合与递归 Research Center on Intelligent Computing for Enterprises & Services, Harbin Institute of Technology 战德臣 哈尔滨工业大学 教授.博士生导师 教育部大学计算机课程教学指导委员会委员 * 原始递归函数-复合与递归 (1)原始递归函数及其递归基础? 原始递归函数是接受自然数x或自然数的元组(x1,…xn)作为参数，并产生自然数的一个映射，记为f(x)或f(x1,…xn)。接受n个参数的函数称作n元函数。处处有定义的函数被称作全函数，未必处处有定义的函数称作半函数或部分函数。 最基本的原始递归函数，也被称为本原函数有三个： (1)初始函数：0元函数即常数无需计算；或者常数函数：对于每个自然数n和所有的k, 有f(x1,x2,…,xK)=n。 (2)后继函数：1 元后继函数 S，它接受一个参数并返回给出参数的后继数。例如S(1)=2, …, S(x) = x+1, 其中x为任意自然数。 (3)投影函数：对于所有 n≥1 和每个 1≤i≤n 的 i，n 元投影函数 Pin，它接受 n 个参数并返回它们中的第 i 个参数，即 Pin (x1，x2，…，xn) = xi * (1)复合：给定原始递归函数 f(x1,...,xk)，和 k 个原始递归函数 g1,...,gk，则f 和 g1,...,gk的复合是 函数h, 即 h(x1,...,xm) = f(g1(x1,...,xm),...,gk(x1,...,xm)) 简单而言，复合是将一系列函数作为参数代入到另一个函数中，又被称为代入。复合是构造新函数的一种方法。复合是表达组合的一种方法。 结构f vs. 构件g1,…,gk g1…,gk的组合关系f vs. 运算组合式g1,…,gk g1…,gk的指令组合关系f v