计算科学学科内涵
计算科学
基本问题
学科特点
发展主线
分支学科
学科范型
学科形态
核心概念
典型方法
典型实例
工作流程
知识结构计算科学
科学,是关于 自然,社会 和 思维 的发展与变化规律的 知识 体系。
技术,是泛指根据生产 实践经验 和 科学原理 而发展形成的各种工艺操作 方法,技能 和 技巧 。
工程,是指将科学原理应用到工农业生产部门中去而形成的各门 学科 的总称。
计算科学,是对 描述 和 变换 信息 的 算法 过程的系统研究，包括其理论、分析、设计、效率分析、
实现和应用，它涵盖了 计算机科学、计算机技术和计算机工程 。 返回基本问题能行性问题
1.计算的平台与环境问题
2.计算过程的能行操作与效率问题
3.计算的正确性问题返回计算的平台与环境问题
计算模型
实际的计算机系统
操作系统
高级程序设计语言
编译程序
软件开发工具与环境
计算机体系结构返回能行操作与效率问题
计算方法
算法 设计与分析
程序设计方法学
密码学与快速算法
演化计算
数字系统逻辑设计
自动布线
集成电路技术
RISC技术
人工智能的逻辑基础返回计算的正确性问题
算法理论
语言的语义学
程序理论
程序测试技术
软件工程技术
计算语言学
电路测试技术
容错理论与技术
Petri网理论
通信顺序进程 CSP
通信系统演算 CCS
分布式网络协议返回学科特点
1.理论性 与 实践性 并重学科基础：数学与电子科学以 离散数学 为代表的应用数学是描述学科理论、方法和技术的主要工具。
微电子技术和程序设计技术 是反映学科产品的主要形式。
2.抽象描述 与 具体实现 相分离
3.以 计算模型 和 数学工具为龙头带动研究工作
4.问题描述 成为解决问题的关键
5.对人才 综合素质 的要求不断提高
6.对 社会影响 极其深刻返回发展主线
发展目标
1 制造各种高性能计算机系统
2 拓展应用领域和提高应用水平
发展主线
1 计算模型与体系结构
2 程序设计语言与软件开发方法学
3 应用数学与计算机应用
发展启示返回计算模型与体系结构布尔代数、数理逻辑与哥德尔定理，可计算性与图灵机，算法、计算复杂性与相似性原理，冯,诺依曼与存储程序式计算机，
计算机的更新换代，进程与操作系统，线程、并行与分布式计算，网络、分层协议与机群系统，非冯,诺依曼型与第五代计算机，新型计算机与网格计算返回语言与软件开发方法学二进制与机器语言，汇编语言与汇编程序，
高级语言与编译程序，形式语言与自动机，
并发与 Petri网，结构化程序与形式语义学，
软件危机与程序设计方法学，自然语言处理与计算语言学,CASE与软件开发方法学返回应用数学与计算机应用科学计算与复杂系统，计算机图形学与计算机辅助处理，数据库理论与 MIS，实时系统与容错处理，图灵试验与人工智能，深蓝与思维模型，定理证明与问题求解，知识工程与高级逻辑，计算可视化与虚拟现实，计算机病毒与网络安全，并行计算与演化计算返回发展启示
理论上，凡是可以用 计算机 来处理的问题及其处理过程，都可以用 应用数学 来描述；
凡是可以用以 离散数学 为代表的 构造性数学 描述的问题及其处理过程，只要所涉及的论域是有穷的，或虽为无穷但存在有穷表示，也一定可以用 计算机 来实现。
智能是有穷论域吗？ 人工智能的三条发展道路 —— 符号主义学派、结构主义学派和行为主义学派 —— 能人工智能吗？ 返回分支学科
构造性数学基础
计算的数学理论
计算机体系结构
计算机应用基础
计算机基本应用技术
软件基础
软件开发方法学 返回构造性数学基础
数学史上的三大发明
数学基础问题
三大数学流派
构造性数学返回数学 史上的三大发明
1 解析几何,使数学思维实现了 形状 与 数量之间的沟通。
2 微积分,使数学思维进入了 无限小 分析领域。
3 群论,开创了代数研究的新纪元，即从 局部性 的字母与结构的计算研究转向更为抽象的系统结构的 整体性 分析研究。
返回数 学
通过对事物的抽象，运用特殊的符号或语言系统，研究事物在空间中的 数量关系、位置关系、结构关系和变换规律,研究具有共同抽象概念、性质的一类事物的某些内在规律，以此指导人们从一个侧面去认识事物，解决具体问题。
返回
理发师悖论,有一个理发师声称自己愿意而且只为所有不给自己理发的人理发。如果有人问他你给不给自己理发？怎样回答？
用式子表示为 S={ x│ x ∈ S}
相容性问题,一个公理系统必须要保证不会导出矛盾的结论，即不会同时证明在该系统中一个定理和该定理的否定都成立。
无穷总体的存在性
结论,以逻辑为基础 返回数学基础问题三大数学流派
逻辑主义学派,罗素，怀特，认为 数学可以从逻辑推导出来,是逻辑的一种扩展。
形式主义学派,希尔伯特，认为数学是一堆形式系统，各自建立自己的逻辑体系（概念、公理和推演规则），数学知识的真理性在于 数学体系的无矛盾性。
直觉主义学派,布劳威尔，认为数学中的所有概念和证明都可以从最基本的直观的无须作进一步说明的 本原概念 出发，一步一步地 构造出来 。
返回构造性数学
概念：从 最直观的概念,概念的 构造性定义 和定理证明的 构造性方法 出发，运用 直觉和感觉 合理的 构造性证明 规则所发展起来的数学。
组成,1 数理逻辑
2 代数系统
3 图论
4 组合数学 返回构造性数学研究领域
数理逻辑,用数学的方法研究推理的科学。
代数系统,对字母和由字母构成的结构的计算。
图论,研究由点和线组成的结构问题,哥尼斯堡七桥 。
组合数学,主要研究按照一定规则来安排事物的问题，如某种安排的存在性、计数、
构造性和最优化等。 返回哥尼斯堡七桥计算的数学理论
概念,指一切关于能行性问题（计算与计算模型问题）的数学理论的总和。
主要研究领域,1 计算理论
2 高等逻辑
3 形式语言与自动机
4 形式语义学返回计算机体系结构
计算机组成原理
计算机元器件
计算机设计
计算机体系结构返回计算机应用基础
算法基础
程序设计
数据结构
数据库基础
微机原理与接口技术返回计算机基本应用技术
数值计算
图形学与图像处理
计算机网络
多媒体技术
计算可视化与虚拟现实
人工智能返回软件基础
高级语言
编译原理
程序设计
数据结构
数据库原理
操作系统原理
软件工程返回软件开发方法学
并行与分布式计算机系统
人工智能计算机系统
并行与分布式软件开发方法学返回学科范型
科学的双重含义,知识体系与研究活动
科学研究的双重职能,发现与评判新知识
科学研究的方式方法,库恩，范型包括：
1 精神价值观
2 工作形态
3 方法工具
4 本体论基础
计算科学范型,
返回科学的双重含义
1 科学是关于其对象领域中事物的本质、发展与变化规律的 知识体系 。
2 科学是一定社会集团按照一套公认的信念所进行的,专业活动,,除了非常短暂的时期外，通常科学主要表现为一种在一定思想指导下的高度定向的 研究活动 。
返回科学知识体系
科学知识的 类型,根据获得知识的途径
科学 知识的结构,逻辑形态 —— 形式系统
科学 知识的特征,一元性、简单性、
一致性、相容性、稳定性返回科学知识的 类型
经验知识,是在 科学观察和科学实验活动 中所获得的对自然界现象和 事物发展与变化的客观规律的认识。
理论知识,是 认识主体 在对经验知识进行的 理性思维活动 中所取得的对自然界 事物发展与变化的客观规律的认识。
计算知识,是在经验知识和理论知识的基础上，
通过某种自动装置的计算运行 所揭示的对自然界事物发展与变化的客观规律的认识。 返回科学 知识的结构形式系统的组成：
概念,称为词项，是对事物的范围和本质的反映。
命题,由词项组成，是对事物 的本质属性和发展与变化规律的陈述。
逻辑关系,包括构成命题的规则和得到新命题的推理规则。
返回计算科学范型
精神价值观,以构造性数学为基础
工作形态,理论、抽象与设计
方法工具,基本问题，发展主线，学科形态，核心概念，典型方法，典型实例，工作流程等
本体论,检验和构建科学理论真理性的基础，如元概念、元方法等返回学科形态
三种 学科形态
1 理论,是以形式化方式揭示对象的性质和相互之间的关系。
2 抽象,是以实验方式揭示对象的性质和相互之间的关系。
3 设计,是以生产方式对这些性质和关系的一些特定实现，完成具体而有用的任务。
三种 形态间的关系,抽象和设计阶段出现了理论；
理论和设计阶段需要模型化；而理论和抽象阶段离不开设计，它们必须考虑到现实是否能行。
返回理论研究基于计算科学的数学基础和计算科学理论,广泛采用数学的研究方法 。按照统一的、合理的理论发展过程，包含以下四个步骤：
1 对研究对象的概念抽象（ 定义 ）；
2 假设对象的基本性质和对象之间可能存在的关系（ 定理 ）；
3 确定这些性质和关系是否正确（ 证明 ）；
4 解释结果 （与计算机系统或研究对象形成对应）。 返回模型抽象基于计算科学的实验科学方法,广泛采用实验物理学的研究方法 。按照对客观现象和规律的实验研究过程，包含以下四个步骤：
1 确定可能世界（环境）并形成假设；
2 构造模型并做出预言；
3 设计实验并收集数据；
4 分析结果。 返回系统设计基于工程,广泛采用工程科学的研究方法 。
按照为解决某一个问题构作系统或装置的过程，包含以下四个步骤：
1 叙述要求；
2 给定技术条件；
3 设计并实现该系统或装置；
4 测试和分析该系统。 返回核心概念
特点：
1 在本学科的不少分支学科中经常出现，甚至在学科中普遍出现；
2 在计算科学理论、抽象和设计这三个过程的各个层面上都有许多示例；
3 在理论上具有可延展和变形的作用，在技术上具有高度的独立性。
分类：
1 计算模型与能行性 2 抽象与构造性描述
3 系统特征 4 计算方法 5 实现技术 返回计算模型与能行性
计算模型 （ Computational Model）
可计算性 （ Computability）
计算复杂性（ Computational Complexity）
最优性 （ Optimum）
相似性与对偶性（ Similarity and Duality）
返回抽象与构造性描述
论域与计算对象（ Domain and Computing Object）
枚举与有穷表示（ Enumeration and Finite Representation）
分层与抽象的级（ Hierarchy and Levels of Abstraction）
内涵与外延 （ Intension and Extension）
递归 （ Recursion）
归纳 （ Induction）
自由与约束 （ Freedom and Restriction）
返回系统特征
相容性（ Consistency）
完备性（ Completeness）
单调性（ Monotonousness）
透明性（ Transparence）
容错与安全性（ Fault-Tolerant and Security）
开放性（ Openness）
稳定性（ Stability）
健状性（ Robustness） 返回计算方法
折衷（ Compromise）
分解（ Decomposition）
集成（ Integration）
类比（ Analogy）
推导（ Inference or Reasoning）
变换（ Transformation）
扩展（ Extension and Expansion）
返回实现技术
类型（ Type）
进程（ Process）
线程（ Thread）
顺序（ Sequence）
并发（ Concurrent）
代理（ Agent）
关联（ Binding）
实例化（ Inatantiation）
现役（ Active）
虚拟（ Virtual）
编码（ Coding）
模式匹配（ Pattern
Matching）
分杈（ Branching）
合一（ Unification）
循环与迭代（ Loop and
Iteration）
重用（ Reuse）
协议（ Protocol）
规范与标准化
（ Standardization）
返回典型方法
内涵与外延法
构造性方法
公理化方法
快速原型法
演化方法
展开与规约法返回内涵与外延法
内涵,指概念所反映的事物的本质属性的总和，
也就是概念的内容。
外延,指概念所界定的所有对象的集合，也就是所有满足概念定义的对象的集合。
例,倚数与偶数的定义。
外延定义,{1,3,5,7,…… }
{2,4,6,8,……}
内涵定义,{x│ x ∈ N & (x mod 2)=1}
{x│ x ∈ N & (x mod 2)=0} 返回构造性方法
构造性方法,是一种能够对论域为无穷的客观事物按其有限构造特征进行处理的方法。
典型技术,递归、归纳与迭代
例 1：谓词逻辑系统中 合式公式的定义 （命题的识别与构造）。
例 2,斐波那契数的判别 。
返回合式公式的定义
1 F(a1,a2,…,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)是 合式公式； 返回斐波那契数的判别设有一个数的集合 S={0,1,1,2,3,5,8,13，
21,34,?},对任意给定的正整数 x，试设计一个判别 x是否在 S中的算法。
解,1 给出 S的递归表示
f0=0
f1=1
fn=fn-1+fn-2,n≧2
2 算法,从 f0,f1开始，不停的求下一个并判断是否为 x,直到相等输出“真”，或大于输出
“假”，结束。 返回公理化方法
公理化方法,是从尽可能少的无需定义的原始概念（ 基本概念 ）和一组公认的命题
（ 基本公理 ）出发，使用可反映科学推理的 逻辑推理规则,用演绎推理来对一门学科进行科学研究的方法。
公理系统的特征,无矛盾性，完备性和独立性
例,自然数公理系统返回自然数公理系统皮亚诺,1889，令 N表示自然数的集合，于是有：
⑴ 0是自然数，即 0∈N ；
⑵ 每个自然数 n均有一个确定的后继 n+ ；
⑶ 没有以 0为后继的自然数；
⑷ 若 n+=m+,则 n=m；
⑸ 若子集 S?N，且具有如下性质：
0?S；
若 n?S，那么 n的后继 n+?S；
则 S=N。 返回快速原型法
基本思想,对于一个待开发的新系统，对其结构,去粗取精,,先开发一个原理性的 验证系统,在验证了其构思确实可行之后，再按照规范的、工程化的要求进行开发，在开发中基本按照快速原型验证开发中的设计思想进行细化。
例,葛洲坝?三峡大坝 返回
基本思想,针对具体问题，首先找到解决该问题的初步办法或初步解，然后通过各种有效的技术方法改进初步办法或初步解，
以获得一个满意解。
例,遗传算法：选择，杂交与变异
大自然演化规律,因缘互立，因果相续
对人工智能研究的启示返回演化方法展开与规约法
展开,是从一个较为抽象的目标（对象）
出发，通过一系列的过程操作或变换，将抽象的目标（对象）转换为具体的细节描述。
规约,展开的逆过程。
例,自顶向下，自底向上返回典型实例
典型实例 是指那些反映学科某一方面内在规律和典型问题本质内容的实例，在学科研究中常常被用来辅助说明思想、原理、方法和技术或比较其优劣。
一组典型实例,哲学家进餐问题,饮料问题，最小费用流问题，货郎担问题，生产与消费问题，
文法二义性问题，上下文语义问题，最小生成树问题，子集和数问题，八皇后问题，九宫排定问题，三个中国人问题，作业调度问题，路由选择问题，图的最小覆盖问题，荷兰国旗问题，等等。
返回哲学家进餐问题
1 思考问题
2 饿了
3 拿左手的筷子
4 拿右手的筷子
5 吃面条
6 放右手的筷子
7 放左手的筷子
8 转到 1 返回基本工作流程方式
对现实世界中 被研究的对象进行 抽象,建立必要的 基本概念,运用数学工具和对其进行 基础和应用基础研究,研究（对象）概念的 基本性质、概念与概念之间的关系,由此揭示对象发展变化的内在规律,为实验设计和工程设计与实现提供 方法和技术,并开展 实验和工程设计与实现 工作。
意义,使科学研究有章可循，能帮助人们认识学科、发展学科、应用学科
例,以进程为基础的操作系统的发展历程。
返回知识结构及其演变
30— 50年代主流方向：计算模型、计算机设计、高级语言和科学计算专业基础：数学、电子学、高级语言和程序设计
60— 70年代
80— 90年代
21世纪开始 20年 返回
60— 70年代
研究问题,设计高级语言，实现编译系统，提高计算机运算速度和存储容量，设计操作系统，设计和实现数据库管理系统，保证软件的质量等
理论方法技术,形式语言与自动机，形式语义学，
程序设计方法学，软件工程，算法理论，高级语言理论，并发程序设计，大、中、小、微型计算机技术，程序理论,Petri网,CSP,CCS等
发展特点,1 需求推动 2 软硬互动
专业基础,计算机原理，编译技术，操作系统，
高级语言与程序设计，数据库原理，数据结构与算法设计，数字逻辑 返回
80— 90年代
研究问题,集成电路芯片设计极限，软件工程，
计算模型，计算语言学，大规模复杂问题的计算与处理，大规模数据存储与检索，超大规模计算机网络的控制与信息安全，人工智能，计算可视化等
理论方法技术,光子计算机技术，计算机体系结构，形式语义学，非经典逻辑及计算模型，软件开发方法学，并行与分布式算法，计算机基本应用技术，并行计算机，计算机网络，图形学与图像处理技术，计算几何，多媒体技术，虚拟实现技术，神经网络与神经计算 返回
21世纪开始 20年
发展方向：
1并行与分布式计算模型与体系结构,神经元计算，计算机设计与制造，网络与信息安全技术，大容量存储设备的研究，容错理论，算法理论，计算模型等
2 并行与分布式软件开发方法学,数理逻辑，计算理论，
形式语义学，高级语言与程序设计理论，系统软件设计，
软件工程，容错理论等
3 并行与分布式计算机应用技术,人工智能理论及其应用
（数理逻辑，高等逻辑，知识工程，神经元计算等），计算机应用关键技术（计算可视化与虚拟现实，演化计算，
计算几何，科学计算，数据库技术，计算机图形学，自然语言处理与机器翻译，模式识别与图像处理等）
专业基础,计算理论，体系结构，高等逻辑，形式语义学返回第五章作业
1、简述科学、技术、工程与计算科学的概念。
2、计算科学的基本问题是什么？
3、试述计算科学的学科特点。
4、计算科学的二级专业有哪些？
5、简述构造性数学的概念与组成。
6、科学的双重含义是什么？
7、简谈科学知识的分类。
8、简谈科学知识的结构。
9、简述计算科学的学科形态。
10、简述内涵与外延的概念。
11、简述构造性方法。
12、简述公理化方法。
13、简述计算科学的基本工作流程方式。
计算科学
基本问题
学科特点
发展主线
分支学科
学科范型
学科形态
核心概念
典型方法
典型实例
工作流程
知识结构计算科学
科学,是关于 自然,社会 和 思维 的发展与变化规律的 知识 体系。
技术,是泛指根据生产 实践经验 和 科学原理 而发展形成的各种工艺操作 方法,技能 和 技巧 。
工程,是指将科学原理应用到工农业生产部门中去而形成的各门 学科 的总称。
计算科学,是对 描述 和 变换 信息 的 算法 过程的系统研究，包括其理论、分析、设计、效率分析、
实现和应用，它涵盖了 计算机科学、计算机技术和计算机工程 。 返回基本问题能行性问题
1.计算的平台与环境问题
2.计算过程的能行操作与效率问题
3.计算的正确性问题返回计算的平台与环境问题
计算模型
实际的计算机系统
操作系统
高级程序设计语言
编译程序
软件开发工具与环境
计算机体系结构返回能行操作与效率问题
计算方法
算法 设计与分析
程序设计方法学
密码学与快速算法
演化计算
数字系统逻辑设计
自动布线
集成电路技术
RISC技术
人工智能的逻辑基础返回计算的正确性问题
算法理论
语言的语义学
程序理论
程序测试技术
软件工程技术
计算语言学
电路测试技术
容错理论与技术
Petri网理论
通信顺序进程 CSP
通信系统演算 CCS
分布式网络协议返回学科特点
1.理论性 与 实践性 并重学科基础：数学与电子科学以 离散数学 为代表的应用数学是描述学科理论、方法和技术的主要工具。
微电子技术和程序设计技术 是反映学科产品的主要形式。
2.抽象描述 与 具体实现 相分离
3.以 计算模型 和 数学工具为龙头带动研究工作
4.问题描述 成为解决问题的关键
5.对人才 综合素质 的要求不断提高
6.对 社会影响 极其深刻返回发展主线
发展目标
1 制造各种高性能计算机系统
2 拓展应用领域和提高应用水平
发展主线
1 计算模型与体系结构
2 程序设计语言与软件开发方法学
3 应用数学与计算机应用
发展启示返回计算模型与体系结构布尔代数、数理逻辑与哥德尔定理，可计算性与图灵机，算法、计算复杂性与相似性原理，冯,诺依曼与存储程序式计算机，
计算机的更新换代，进程与操作系统，线程、并行与分布式计算，网络、分层协议与机群系统，非冯,诺依曼型与第五代计算机，新型计算机与网格计算返回语言与软件开发方法学二进制与机器语言，汇编语言与汇编程序，
高级语言与编译程序，形式语言与自动机，
并发与 Petri网，结构化程序与形式语义学，
软件危机与程序设计方法学，自然语言处理与计算语言学,CASE与软件开发方法学返回应用数学与计算机应用科学计算与复杂系统，计算机图形学与计算机辅助处理，数据库理论与 MIS，实时系统与容错处理，图灵试验与人工智能，深蓝与思维模型，定理证明与问题求解，知识工程与高级逻辑，计算可视化与虚拟现实，计算机病毒与网络安全，并行计算与演化计算返回发展启示
理论上，凡是可以用 计算机 来处理的问题及其处理过程，都可以用 应用数学 来描述；
凡是可以用以 离散数学 为代表的 构造性数学 描述的问题及其处理过程，只要所涉及的论域是有穷的，或虽为无穷但存在有穷表示，也一定可以用 计算机 来实现。
智能是有穷论域吗？ 人工智能的三条发展道路 —— 符号主义学派、结构主义学派和行为主义学派 —— 能人工智能吗？ 返回分支学科
构造性数学基础
计算的数学理论
计算机体系结构
计算机应用基础
计算机基本应用技术
软件基础
软件开发方法学 返回构造性数学基础
数学史上的三大发明
数学基础问题
三大数学流派
构造性数学返回数学 史上的三大发明
1 解析几何,使数学思维实现了 形状 与 数量之间的沟通。
2 微积分,使数学思维进入了 无限小 分析领域。
3 群论,开创了代数研究的新纪元，即从 局部性 的字母与结构的计算研究转向更为抽象的系统结构的 整体性 分析研究。
返回数 学
通过对事物的抽象，运用特殊的符号或语言系统，研究事物在空间中的 数量关系、位置关系、结构关系和变换规律,研究具有共同抽象概念、性质的一类事物的某些内在规律，以此指导人们从一个侧面去认识事物，解决具体问题。
返回
理发师悖论,有一个理发师声称自己愿意而且只为所有不给自己理发的人理发。如果有人问他你给不给自己理发？怎样回答？
用式子表示为 S={ x│ x ∈ S}
相容性问题,一个公理系统必须要保证不会导出矛盾的结论，即不会同时证明在该系统中一个定理和该定理的否定都成立。
无穷总体的存在性
结论,以逻辑为基础 返回数学基础问题三大数学流派
逻辑主义学派,罗素，怀特，认为 数学可以从逻辑推导出来,是逻辑的一种扩展。
形式主义学派,希尔伯特，认为数学是一堆形式系统，各自建立自己的逻辑体系（概念、公理和推演规则），数学知识的真理性在于 数学体系的无矛盾性。
直觉主义学派,布劳威尔，认为数学中的所有概念和证明都可以从最基本的直观的无须作进一步说明的 本原概念 出发，一步一步地 构造出来 。
返回构造性数学
概念：从 最直观的概念,概念的 构造性定义 和定理证明的 构造性方法 出发，运用 直觉和感觉 合理的 构造性证明 规则所发展起来的数学。
组成,1 数理逻辑
2 代数系统
3 图论
4 组合数学 返回构造性数学研究领域
数理逻辑,用数学的方法研究推理的科学。
代数系统,对字母和由字母构成的结构的计算。
图论,研究由点和线组成的结构问题,哥尼斯堡七桥 。
组合数学,主要研究按照一定规则来安排事物的问题，如某种安排的存在性、计数、
构造性和最优化等。 返回哥尼斯堡七桥计算的数学理论
概念,指一切关于能行性问题（计算与计算模型问题）的数学理论的总和。
主要研究领域,1 计算理论
2 高等逻辑
3 形式语言与自动机
4 形式语义学返回计算机体系结构
计算机组成原理
计算机元器件
计算机设计
计算机体系结构返回计算机应用基础
算法基础
程序设计
数据结构
数据库基础
微机原理与接口技术返回计算机基本应用技术
数值计算
图形学与图像处理
计算机网络
多媒体技术
计算可视化与虚拟现实
人工智能返回软件基础
高级语言
编译原理
程序设计
数据结构
数据库原理
操作系统原理
软件工程返回软件开发方法学
并行与分布式计算机系统
人工智能计算机系统
并行与分布式软件开发方法学返回学科范型
科学的双重含义,知识体系与研究活动
科学研究的双重职能,发现与评判新知识
科学研究的方式方法,库恩，范型包括：
1 精神价值观
2 工作形态
3 方法工具
4 本体论基础
计算科学范型,
返回科学的双重含义
1 科学是关于其对象领域中事物的本质、发展与变化规律的 知识体系 。
2 科学是一定社会集团按照一套公认的信念所进行的,专业活动,,除了非常短暂的时期外，通常科学主要表现为一种在一定思想指导下的高度定向的 研究活动 。
返回科学知识体系
科学知识的 类型,根据获得知识的途径
科学 知识的结构,逻辑形态 —— 形式系统
科学 知识的特征,一元性、简单性、
一致性、相容性、稳定性返回科学知识的 类型
经验知识,是在 科学观察和科学实验活动 中所获得的对自然界现象和 事物发展与变化的客观规律的认识。
理论知识,是 认识主体 在对经验知识进行的 理性思维活动 中所取得的对自然界 事物发展与变化的客观规律的认识。
计算知识,是在经验知识和理论知识的基础上，
通过某种自动装置的计算运行 所揭示的对自然界事物发展与变化的客观规律的认识。 返回科学 知识的结构形式系统的组成：
概念,称为词项，是对事物的范围和本质的反映。
命题,由词项组成，是对事物 的本质属性和发展与变化规律的陈述。
逻辑关系,包括构成命题的规则和得到新命题的推理规则。
返回计算科学范型
精神价值观,以构造性数学为基础
工作形态,理论、抽象与设计
方法工具,基本问题，发展主线，学科形态，核心概念，典型方法，典型实例，工作流程等
本体论,检验和构建科学理论真理性的基础，如元概念、元方法等返回学科形态
三种 学科形态
1 理论,是以形式化方式揭示对象的性质和相互之间的关系。
2 抽象,是以实验方式揭示对象的性质和相互之间的关系。
3 设计,是以生产方式对这些性质和关系的一些特定实现，完成具体而有用的任务。
三种 形态间的关系,抽象和设计阶段出现了理论；
理论和设计阶段需要模型化；而理论和抽象阶段离不开设计，它们必须考虑到现实是否能行。
返回理论研究基于计算科学的数学基础和计算科学理论,广泛采用数学的研究方法 。按照统一的、合理的理论发展过程，包含以下四个步骤：
1 对研究对象的概念抽象（ 定义 ）；
2 假设对象的基本性质和对象之间可能存在的关系（ 定理 ）；
3 确定这些性质和关系是否正确（ 证明 ）；
4 解释结果 （与计算机系统或研究对象形成对应）。 返回模型抽象基于计算科学的实验科学方法,广泛采用实验物理学的研究方法 。按照对客观现象和规律的实验研究过程，包含以下四个步骤：
1 确定可能世界（环境）并形成假设；
2 构造模型并做出预言；
3 设计实验并收集数据；
4 分析结果。 返回系统设计基于工程,广泛采用工程科学的研究方法 。
按照为解决某一个问题构作系统或装置的过程，包含以下四个步骤：
1 叙述要求；
2 给定技术条件；
3 设计并实现该系统或装置；
4 测试和分析该系统。 返回核心概念
特点：
1 在本学科的不少分支学科中经常出现，甚至在学科中普遍出现；
2 在计算科学理论、抽象和设计这三个过程的各个层面上都有许多示例；
3 在理论上具有可延展和变形的作用，在技术上具有高度的独立性。
分类：
1 计算模型与能行性 2 抽象与构造性描述
3 系统特征 4 计算方法 5 实现技术 返回计算模型与能行性
计算模型 （ Computational Model）
可计算性 （ Computability）
计算复杂性（ Computational Complexity）
最优性 （ Optimum）
相似性与对偶性（ Similarity and Duality）
返回抽象与构造性描述
论域与计算对象（ Domain and Computing Object）
枚举与有穷表示（ Enumeration and Finite Representation）
分层与抽象的级（ Hierarchy and Levels of Abstraction）
内涵与外延 （ Intension and Extension）
递归 （ Recursion）
归纳 （ Induction）
自由与约束 （ Freedom and Restriction）
返回系统特征
相容性（ Consistency）
完备性（ Completeness）
单调性（ Monotonousness）
透明性（ Transparence）
容错与安全性（ Fault-Tolerant and Security）
开放性（ Openness）
稳定性（ Stability）
健状性（ Robustness） 返回计算方法
折衷（ Compromise）
分解（ Decomposition）
集成（ Integration）
类比（ Analogy）
推导（ Inference or Reasoning）
变换（ Transformation）
扩展（ Extension and Expansion）
返回实现技术
类型（ Type）
进程（ Process）
线程（ Thread）
顺序（ Sequence）
并发（ Concurrent）
代理（ Agent）
关联（ Binding）
实例化（ Inatantiation）
现役（ Active）
虚拟（ Virtual）
编码（ Coding）
模式匹配（ Pattern
Matching）
分杈（ Branching）
合一（ Unification）
循环与迭代（ Loop and
Iteration）
重用（ Reuse）
协议（ Protocol）
规范与标准化
（ Standardization）
返回典型方法
内涵与外延法
构造性方法
公理化方法
快速原型法
演化方法
展开与规约法返回内涵与外延法
内涵,指概念所反映的事物的本质属性的总和，
也就是概念的内容。
外延,指概念所界定的所有对象的集合，也就是所有满足概念定义的对象的集合。
例,倚数与偶数的定义。
外延定义,{1,3,5,7,…… }
{2,4,6,8,……}
内涵定义,{x│ x ∈ N & (x mod 2)=1}
{x│ x ∈ N & (x mod 2)=0} 返回构造性方法
构造性方法,是一种能够对论域为无穷的客观事物按其有限构造特征进行处理的方法。
典型技术,递归、归纳与迭代
例 1：谓词逻辑系统中 合式公式的定义 （命题的识别与构造）。
例 2,斐波那契数的判别 。
返回合式公式的定义
1 F(a1,a2,…,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)是 合式公式； 返回斐波那契数的判别设有一个数的集合 S={0,1,1,2,3,5,8,13，
21,34,?},对任意给定的正整数 x，试设计一个判别 x是否在 S中的算法。
解,1 给出 S的递归表示
f0=0
f1=1
fn=fn-1+fn-2,n≧2
2 算法,从 f0,f1开始，不停的求下一个并判断是否为 x,直到相等输出“真”，或大于输出
“假”，结束。 返回公理化方法
公理化方法,是从尽可能少的无需定义的原始概念（ 基本概念 ）和一组公认的命题
（ 基本公理 ）出发，使用可反映科学推理的 逻辑推理规则,用演绎推理来对一门学科进行科学研究的方法。
公理系统的特征,无矛盾性，完备性和独立性
例,自然数公理系统返回自然数公理系统皮亚诺,1889，令 N表示自然数的集合，于是有：
⑴ 0是自然数，即 0∈N ；
⑵ 每个自然数 n均有一个确定的后继 n+ ；
⑶ 没有以 0为后继的自然数；
⑷ 若 n+=m+,则 n=m；
⑸ 若子集 S?N，且具有如下性质：
0?S；
若 n?S，那么 n的后继 n+?S；
则 S=N。 返回快速原型法
基本思想,对于一个待开发的新系统，对其结构,去粗取精,,先开发一个原理性的 验证系统,在验证了其构思确实可行之后，再按照规范的、工程化的要求进行开发，在开发中基本按照快速原型验证开发中的设计思想进行细化。
例,葛洲坝?三峡大坝 返回
基本思想,针对具体问题，首先找到解决该问题的初步办法或初步解，然后通过各种有效的技术方法改进初步办法或初步解，
以获得一个满意解。
例,遗传算法：选择，杂交与变异
大自然演化规律,因缘互立，因果相续
对人工智能研究的启示返回演化方法展开与规约法
展开,是从一个较为抽象的目标（对象）
出发，通过一系列的过程操作或变换，将抽象的目标（对象）转换为具体的细节描述。
规约,展开的逆过程。
例,自顶向下，自底向上返回典型实例
典型实例 是指那些反映学科某一方面内在规律和典型问题本质内容的实例，在学科研究中常常被用来辅助说明思想、原理、方法和技术或比较其优劣。
一组典型实例,哲学家进餐问题,饮料问题，最小费用流问题，货郎担问题，生产与消费问题，
文法二义性问题，上下文语义问题，最小生成树问题，子集和数问题，八皇后问题，九宫排定问题，三个中国人问题，作业调度问题，路由选择问题，图的最小覆盖问题，荷兰国旗问题，等等。
返回哲学家进餐问题
1 思考问题
2 饿了
3 拿左手的筷子
4 拿右手的筷子
5 吃面条
6 放右手的筷子
7 放左手的筷子
8 转到 1 返回基本工作流程方式
对现实世界中 被研究的对象进行 抽象,建立必要的 基本概念,运用数学工具和对其进行 基础和应用基础研究,研究（对象）概念的 基本性质、概念与概念之间的关系,由此揭示对象发展变化的内在规律,为实验设计和工程设计与实现提供 方法和技术,并开展 实验和工程设计与实现 工作。
意义,使科学研究有章可循，能帮助人们认识学科、发展学科、应用学科
例,以进程为基础的操作系统的发展历程。
返回知识结构及其演变
30— 50年代主流方向：计算模型、计算机设计、高级语言和科学计算专业基础：数学、电子学、高级语言和程序设计
60— 70年代
80— 90年代
21世纪开始 20年 返回
60— 70年代
研究问题,设计高级语言，实现编译系统，提高计算机运算速度和存储容量，设计操作系统，设计和实现数据库管理系统，保证软件的质量等
理论方法技术,形式语言与自动机，形式语义学，
程序设计方法学，软件工程，算法理论，高级语言理论，并发程序设计，大、中、小、微型计算机技术，程序理论,Petri网,CSP,CCS等
发展特点,1 需求推动 2 软硬互动
专业基础,计算机原理，编译技术，操作系统，
高级语言与程序设计，数据库原理，数据结构与算法设计，数字逻辑 返回
80— 90年代
研究问题,集成电路芯片设计极限，软件工程，
计算模型，计算语言学，大规模复杂问题的计算与处理，大规模数据存储与检索，超大规模计算机网络的控制与信息安全，人工智能，计算可视化等
理论方法技术,光子计算机技术，计算机体系结构，形式语义学，非经典逻辑及计算模型，软件开发方法学，并行与分布式算法，计算机基本应用技术，并行计算机，计算机网络，图形学与图像处理技术，计算几何，多媒体技术，虚拟实现技术，神经网络与神经计算 返回
21世纪开始 20年
发展方向：
1并行与分布式计算模型与体系结构,神经元计算，计算机设计与制造，网络与信息安全技术，大容量存储设备的研究，容错理论，算法理论，计算模型等
2 并行与分布式软件开发方法学,数理逻辑，计算理论，
形式语义学，高级语言与程序设计理论，系统软件设计，
软件工程，容错理论等
3 并行与分布式计算机应用技术,人工智能理论及其应用
（数理逻辑，高等逻辑，知识工程，神经元计算等），计算机应用关键技术（计算可视化与虚拟现实，演化计算，
计算几何，科学计算，数据库技术，计算机图形学，自然语言处理与机器翻译，模式识别与图像处理等）
专业基础,计算理论，体系结构，高等逻辑，形式语义学返回第五章作业
1、简述科学、技术、工程与计算科学的概念。
2、计算科学的基本问题是什么？
3、试述计算科学的学科特点。
4、计算科学的二级专业有哪些？
5、简述构造性数学的概念与组成。
6、科学的双重含义是什么？
7、简谈科学知识的分类。
8、简谈科学知识的结构。
9、简述计算科学的学科形态。
10、简述内涵与外延的概念。
11、简述构造性方法。
12、简述公理化方法。
13、简述计算科学的基本工作流程方式。
