中科大计算机科学导论-4.pptVIP

* * * * * * * 编程语言递归函数的数学语义 为什么选择最小不动点 C函数：int g(int x) {if (x==0) return 1 else if (x==1)return g(3) else return g(x?2);} 相应高阶函数：F ? ?g:nat ? nat.?x:nat = if x = 0 then 1 else (if x =1 then g(3) else g(x?2)) F的最小不动点 f(x) = 2（x为偶数） 最小不动点的特点： 是定义得最少的不动点 仅包括从递归定义能演绎出来的信息，没有来自对相应递归方程的任何“个人臆想” 对某个变元没有定义，意味着计算不终止 编程语言递归函数的数学语义 实分析中的不动点 求解实数方程 x = 1 + 1/x 经常用迭代方法求解 ? ? ?x:R. 1 + 1/x (连续函数) ?0 ? 5 (迭代初值), xi ? ? (xi?1), i ? 1 得到的迭代序列 1.2, 1.833333, 1.545455, 1.647059, 1.607143, 1.622222, 1.616438, 1.618644, 1.617801, 1.618123, 收敛于极限(1+ 5 )/2，即上述连续函数的不动点 小 结 本讲座小结 概述离散数学与计算机科学的关系。以计算阶乘 的递归程序为例，介绍完全偏序集合及其上函数的 单调性、连续性、不动点等概念是怎样用于程序的 语义解释的 偏序理论在计算机科学中的应用 程序理论的各个方面，如形式语义、类型论、程 序分析、程序优化、程序验证都离不开偏序理论 在计算机科学的很多方面都涉及偏序 这部分内容在“代数结构”课程中 小 结 离散数学是很多专业课程的先行课程 数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、程序设计语言基础等 离散数学的发展方向 离散数学自身研究方面的进展随着计算机的发展 而深入，例如在下述方面都有很多的新成果，也有 值得继续研究的问题 研究智能推理的非经典逻辑 领域专用的自动定理证明 代数结构的深入探讨 图论与群论相互结合的理论 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 中国科大 离散数学与计算机科学计算机科学导论第四讲 计算机科学技术学院 陈意云 0551yiyun@ustc.edu.cn 课 程 内 容 课程内容 围绕学科理论体系中的模型理论, 程序理论和计算理论 1. 模型理论关心的问题 给定模型M，哪些问题可以由模型M解决；如何比较模型的表达能力 2. 程序理论关心的问题 给定模型M，如何用模型M解决问题 包括程序设计范型、程序设计语言、程序设计、形式语义、类型论、程序验证、程序分析等 3. 计算理论关心的问题 给定模型M和一类问题, 解决该类问题需多少资源 讲 座 提 纲 离散数学和计算机科学的关系 离散数学的特点、与计算机科学的关系 基本知识 偏序集合、最小上界、完全偏序集合、序理论、函数序、函数的单调性和连续性 递归数学函数的不动点语义 函数的不动点、递归函数定义、递归函数定义的解、不动点算子、最小不动点定理 编程语言递归函数的数学语义 最小不动点语义 离散数学和计算机科学的关系 本课程已谈及的相关内容 数理逻辑 经典逻辑、等式逻辑、程序逻辑、类型系统 都从合式公式、公理、推理规则、证明演算 集合论 良基关系、良基归纳法，还有偏序关系 本课程还会谈及 可计算性和算法分析等 离散数学和计算机科学的关系 离散数学的特点 离散数学是数学的几个分支的总称，研究基于离散而不是连续的数学结构 与光滑变化的实数不同，离散数学的研究对象，例如整数、图和逻辑中的命题，都包含有区别和分离的值，但所包含的值并非光滑变化 离散数学被视为处理可数集合（与自然数集的基数相同的集合）的数学分支 离散数学无准确且普遍接受的定义，它经常被定义为不包含连续变化量及相关概念的数学，也用包含什么内容的方式来定义 离散数学和计算机科学的关系 离散数学和计算机科学的关系 离散数学的研究在20世纪后半叶，由于电子计算机的出现而迅猛发展 离散数学的概念和表示法在研究和描述计算机科学一些分支（如编程语言、密码学、自动定理证明和软件研发）的对象和问题时非常有用 反过来，把源于离散数学的理念用于现实世界的问题（如运筹学中的问题）时，计算机实现是一种对离散数学非常有意义的支持 本科期间的离散数学课程