第三章计算科学：它的意义、内容和方法先介绍三个基本术.ppt

过思考，将这些概念串联起来，把自己所学的专业知识尽可能地系统化。 ⑴ 计算模型与能行性 计算模型（Computational Model），可计算性（Computability）， 计算复杂性（Computational Complexity），最优性（Optimum）， 相似性与对偶性（Similarity and Duality）； ⑵ 抽象与构造性描述 论域与计算对象（Domain and Computing Object）， 枚举（Enumeration）与有穷表示（FiniteRepresentation）， 分层与抽象的级（HierarchyandLevelsof Abstraction）， 内涵与外延（Intension and Extension），递归（Recursion）， 归纳（Induction），自由与约束（Freedom and Restriction）； ⑶ 系统特征 相容性（Consistency），完备性（Completeness）， 单调性（Monotoneity），透明性 （Transparence）， 容错与安全性（Fault-Tolerant and Security）， 开放性（Openness），稳定性（Stability）， 健壮性（Robustness）； ⑷ 计算方法 折衷（Compromise），分解（Decomposition）， 集成（Integration），类比（Analogy）， 推导（Inference or Reasoning），变换（Transfomation）， 扩展（Extension and Expansion）； ⑸ 实现技术 类型（Type），进程与线程（Process and Thread）， 顺序与并发（Sequenceand Concurrent）， 软计算结点（Agent）；现役（的）（Active）， 关联（Binding）与实例化（Instantiation）， 虚拟（的）（Virtual），编码（Coding）， 模式匹配（Pattern Matching），分杈（Branching）， 合一（或通代）（Unification），协议（Protocol）， 循环与迭代（Loop and Iteration），重用（Reuse）， 规范与标准化（Standardization）； 3.7 计算科学的典型方法与典型实例 对于上面所讨论的计算科学中的三种学科形态和在学科中重复出现的核心概念，在将三个过程（学科形态）贯 穿在整个学科各门课程教学的始终，用核心概念将各分支学科的内在联系串联起来时，事实上，学科形态与核心概念并不能完全解决问题，还需要于教学中介绍在这门学科中反复出现的具有哲学意义的典型方法，并通过一批典型实例给学生以较深刻的感性认识。 典型方法与典型实例是属于方法论的内容。就目前我们对学科的认识，已知有下列几种典型的方法和一大批典型实例。它们是内涵与外延的方法，以递归、归纳和迭代技术形式为代表的构造性方法，公理化方法，快速原型方法，演化方法，以及展开与规约方法。 内涵与外延是哲学的两个基本的概念。所谓内涵是指 一个概念所反映的事物的本质属性的总和，也就是概念的内容。外延是指概念所界定的所有对象的集合，即所有满足概念定义属性的对象的集合。内涵与外延的方法广泛出 现在计算科学的许多分支学科中。这是一个能够对无穷对象的集合作分类处理的方法。 例 奇数与偶数的定义。 奇数与偶数的外延定义： {1,3,5,7,9,...}、 {2,4,6,8,10,...} 奇数与偶数的内涵定义： {x│x∈N （x mod 2）=1} {x│x∈N （x mod 2）=0} 构造性方法是整个计算科学学科最本质的方法。这是一种能够对论域为无穷的客观事物按其有限构造特征进行处理的方法。 例 谓词逻辑系统中合式公式的定义。 (1) F(a1 ,...,an )是合式公式。其中，ai是表示不空论域中个体的形式符号，即个体词； (2) 如果A是合式公式，则 ?A是合式公式； (3) 如果A和B是合式公式，则[A∧B]，[A∨B]，[A→B]，[A?B]是合式公式； (4) 如果A(a)是合式公式，a在其中出现，x不再其中出现，则?xA(x)，?xA(x)是合式公式。 公理化方法也是计算科学的一种典型方法。它能帮助学生认识一个系统如何严格表述，认识到完备性和无矛盾性对一个公理系统的重要性，认识每一条公