计算机的计算 储存都是离散的,离散数学与计算科学计算机科学导论第四讲.ppt...

离散数学与计算科学计算机科学导论第四讲

递归数学函数的不动点语义 函数的不动点 若f :D ? D是集合D 到它自身的函数，则f 的不动点是使得f (x) = x的值x 例 在自然数上 平方函数的不动点有0和1 恒等函数有无数个不动点 后继函数没有不动点 递归函数的不动点语义 函数的匿名表示： ?抽象表示法 1. 通常的表示 如恒等函数Id(x : nat) = x, Id是函数名 不便于把函数当作一级对象来操作 2. ?抽象表示法( ?抽象表达式是?表达式的一种) f(x : nat) = x +1?x:nat. x +1 g(x : nat) = 10?x:nat. 10 f 5(?x:nat. x +1) 5 = 5 +1 = 6 (?f:nat ? nat.?y:nat.fy) (?x:nat. x +1) 5 = (?y:nat.(?x:nat. x +1) y) 5 = (?y:nat. y +1) 5 = 5 +1 = 6 递归数学函数的不动点语义 递归定义的解与相应函数的不动点的重要联系 递归定义f (x:D) = M的相应函数：?f :?. M (注：? 在此表示D?D) 函数?f :?.M的不动点正好是方程 f = M的解 若(?f :?.M)N = N, 即M[N/f] = N, 则N是f = M的解 方程f = M的求解就转化为找函数?f :?.M的不动点 例：f(x) = if x = 0 then 1 else x ? f(x?1)的相应函数： F ? ?f:nat ? nat.?y:nat. if x = 0 then 1 else x ? f(x?1) 阶乘函数是F的不动点 递归数学函数的不动点语义 不动点语义 函数?f :?.M的不动点作为递归定义f (x:D) = M的 语义 1. 怎样计算得到不动点 2. 不动点可能不唯一，取哪个不动点作为语义 不同场合有不同选择：最小或最大不动点 (注：不动点集上的偏序关系：函数包含序) 本讲座内容需要最小不动点，第九讲用到最大不动点 * * * * * * * * 离散数学与计算机科学计算机科学导论第四讲 计算机科学技术学院 陈意云 0551yiyun@ustc.edu.cn 课 程 内 容 课程内容 围绕学科理论体系中的模型理论, 程序理论和计算理论 1. 模型理论关心的问题 给定模型M，哪些问题可以由模型M解决；如何比较模型的表达能力 2. 程序理论关心的问题 给定模型M，如何用模型M解决问题 包括程序设计范型、程序设计语言、程序设计、形式语义、类型论、程序验证、程序分析等 3. 计算理论关心的问题 给定模型M和一类问题, 解决该类问题需多少资源 讲 座 提 纲 离散数学和计算机科学的关系 离散数学的特点、与计算机科学的关系 基本知识 偏序集合、最小上界、完全偏序集合、序理论、函数序、函数的单调性和连续性 递归数学函数的不动点语义 函数的不动点、递归函数定义、递归函数定义的解、不动点算子、最小不动点定理 编程语言递归函数的数学语义 最小不动点语义 离散数学和计算机科学的关系 本课程已谈及的相关内容 数理逻辑 经典逻辑、等式逻辑、程序逻辑、类型系统 都包括合式公式、公理、推理规则、演绎推理 集合论 良基关系、良基归纳法，偏序关系(本次课) 代数结构(抽象代数) 常见的抽象数据类型 (表、栈、二叉树等) 是代数 本课程还会谈及 可计算性和算法分析等 离散数学和计算机科学的关系 离散数学的特点 离散数学是数学的几个分支的总称，研究基于离散而不是连续的数学结构 与光滑变化的实数不同，离散数学的研究对象，例如整数、图和逻辑中的命题，都包含有区别和分离的值，但所包含的值并非光滑变化 离散数学被视为处理可数集合(与自然数集有相同基数的集合)的数学分支 离散数学无准确且普遍接受的定义，它经常被定义为不包含连续变化量及相关概念的数学，也用包含什么内容的方式来定义 离散数学和计算机科学的关系 离散数学和计算机科学的关系 离散数学的研究在20世纪后半叶，由于电子计算机的出现而迅猛发展 离散数学的概念和表示法在研究和描述计算机科学一些分支(如计算机算法、编程语言、自动定理证明、密码学和软件研发)的对象和问题时非常有用 把离散数学的概念用于现实世界的问题时(如运筹学中的问题)，计算机实现是十分重要的 离散数学和计算机科学的关系 本科期间的离散数学课程 数理逻辑、图论、代数结构(抽象代数) 使用离散数学知识的课程： 数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、程序设计语言基础等 探讨的问题——递归函数的语义 两个C语言写的递归函数(x ? 0) i