计算机科学中创新的逻辑.ppt

计算机科学中创 新 的 逻 辑 赵沁平 创新研究的对象 ? 已有理论 ? 自然世界 ? 人类活动 创新的类型 ? 发现 ? 发明 ? 发展 创新的条件 ? 激情、毅力、知识、智慧 ? 了解所研究的对象 特性 存在条件 与其他事物的关系 已有研究结果 ? 研究对象是已有论断 分析已知论断 怀疑 不满 猜想 找反例 改进 证明 怀疑已有的论断，寻找它们与客观 实际不符或矛盾之处，进而指出其存在 的问题或推翻该论断，这本身也是一种 创新工作。 例1 找到XXX教授在可计算理论研究中提出的一条 公理的反例，从而推翻了他的这一公理。 XXX在计算机研究与发展1988年第11期“什么是可计算 性”一文中针对丘奇-图灵论题的公理化问题，在M.Blum四条公 理的基础上，提出了一条新的公理： 一组可计算函数{fi}如果有最小上界g，则g也是可计算的。 [注] 如果两个函数 f 和 g 的值相等，而f的定义域小于g，则定义f小于 g，用f?g表示。设{fi}是一组函数，g是一个函数。满足：fi?g（一切i） 则g叫这组函数的一个上界。如果g是{fi}的上界，而且对{fi}的任何上界 h，g?h，则说g是{fi}的最小上界。 　　选择一个不可计算函数g，其定义域 D 是可数无 限的。我们取该定义域的一个有限部分D1作为新的定 义域，可以得到函数f1，f1?g，由于D1是可数有限 的，因此f1一定是可计算的。再将D1在D上适当扩大 为D2，可得到函数f2，则有f1?f2，且f2?g。如此重 复可以的到一组可计算函数{fi}，{fi}的最小上界显 然是g，而g是一个不可计算函数。因此马提出的公理 是不成立的。 ? 研究对象是自然世界或人类活动 了解问题 确定目标 合理假设 创新研究 计算机学科面向自然世界和人类活动， 研究内容丰富多彩，方法各种各样，是产生 原始创新的源泉。其主要创新目标有三个方 面 — 使计算机系统： 更高效 更聪明 更适人 创新的方法 1、概念形成 概念形成、判断、推理是思维的三种基本形 式，各自代表了理性认识的一个阶段。 概念的形成是人的认识过程由低级的感性认识 上升到高级的理性认识的一次质的飞跃。概念不同 于感觉的特征，在于概念的抽象性和概括性。 概念的内涵与外延 内涵和外延是概念的两个方面，是概念的基本 逻辑特征。 概念的内涵是概念所反映的对象的共同属性的 总和；概念的外延是概念所反映的对象的总和。 概念的内涵与外延之间有反比关系。即增加内涵 （属性），其外延会缩小；减少内涵，外延会增大。 定义 定义是认识主体使用命题的语言逻辑形式，指 出对象的本质属性，把这一对象和其他与之相似的 对象区别开。下定义的方法有两大类，一是逻辑方 法，即属概念加种差定义；一是发生定义。 定义概念是定义问题、研究问题的基础，概念 定义的方法和水平直接影响后续的创新研究。 ● 属概念加种差定义 由被定义概念的最邻近的属概念加种差构成的定义。 例如，堆栈是一个下限为常数，上限可变化的向量。 ● 发生定义 是属概念加种差定义的特殊形式。发生定义所列举的属性 （种差）是被定义概念所反映的对象的发生过程。 例如，递归过程是一个直接或间接调用自身的过程。 定义时必须遵守的逻辑规则 ● 定义不能包含被定义概念本身或和它意义相同 的概念，否则就是同语反复。 ● 必须采用科学的、确定的术语和概念，不能用 比喻和模糊的语言。 ● 必须用肯定语，不能用否定语。 聚类与分类 聚类：概念形成 分类：形成子概念 分类的关键是选定分类特征 分类首先要确定其分类特征，如果分类特征不 明确就不是好的分类法。 分类（子概念）要尽可能成为一种对概念外延 的划分（没有遗漏，也没有重叠）。 用于分类的特征应当是所属领域的一些本质特 性。对于计算机学科来说，要从数据类型、信息流 向、计算模型等计算特性的角度进行分类。 科学地形成概念，本质地进行分类就是一种创新。 例2 计算机体系结构的分类 ? 以指令流和数据流为分类特征 单指令流单数据流 SISD — 冯?诺依曼体系结构 单指令流多数据流 SIMD — 向量（阵列）机 多指令流单数据流 MISD — 流水线处理 多指令流多数据流 MIMD — 多处理机系统 ? 以指令的驱动方式（计算模型）为分类特