计算科学学科内涵 计算科学 学科形态 基本问题 核心概念 学科特点 典型方法 发展主线 典型实例 分支学科 °工作流程 学科范型 知识结构
计算科学学科内涵 • 计算科学 • 基本问题 • 学科特点 • 发展主线 • 分支学科 • 学科范型 • 学科形态 • 核心概念 • 典型方法 • 典型实例 • 工作流程 • 知识结构
计算科学 科学:是关于自然、社会和思维的发展与变化规 律的知迟体系。 技术:是泛指根据生产实践经验和科学原理而发 展形成的各种工艺操作方法、技能和技巧。 工程:是指将科学原理应用到工农业生产部门中 去而形成的各门学科的总称。 计算科学:是对描述和变换信息的算法过程的系 统研究,包括其理论、分析、设计、效率分析 实现和应用,它涵盖了让算机科学、让算机技术 和计算机工程
计算科学 • 科学:是关于自然、社会和思维的发展与变化规 律的知识体系。 • 技术:是泛指根据生产实践经验和科学原理而发 展形成的各种工艺操作方法、技能和技巧。 • 工程:是指将科学原理应用到工农业生产部门中 去而形成的各门学科的总称。 • 计算科学:是对描述和变换信息的算法过程的系 统研究,包括其理论、分析、设计、效率分析、 实现和应用,它涵盖了计算机科学、计算机技术 和计算机工程。 返回
基本问题 能行性问题 1.计算的平台与环境问题 2.计算过程的能行操作与效率问题 3.计算的正确性问题 返回
基本问题 能行性问题 1.计算的平台与环境问题 2.计算过程的能行操作与效率问题 3.计算的正确性问题 返回
计算的平台与环境问题 计算模型 ·实际的计算机系统 操作系统 高级程序设计语言 编译程序 软件开发工具与环境 ·计算机体系结构
计算的平台与环境问题 • 计算模型 • 实际的计算机系统 • 操作系统 • 高级程序设计语言 • 编译程序 • 软件开发工具与环境 • 计算机体系结构 返回
能行操作与效率问题 计算方法 数字系统逻辑设计 算法设计与分析 自动布线 程序设计方法学 集成电路技术 密码学与快速算法 R|SC技术 演化计算 ·人工智能的逻辑基础 返回
能行操作与效率问题 • 计算方法 • 算法设计与分析 • 程序设计方法学 • 密码学与快速算法 • 演化计算 • 数字系统逻辑设计 • 自动布线 • 集成电路技术 • RISC技术 • 人工智能的逻辑基础 返回
计算的正确性问题 ·算法理论 电路测试技术 语言的语义学 容错理论与技术 程序理论 Petr网理论 程序测试技术 通信顺序进程CSP 软件工程技术 通信系统演算CCS 计算语言学 分布式网络协议 返回
计算的正确性问题 • 算法理论 • 语言的语义学 • 程序理论 • 程序测试技术 • 软件工程技术 • 计算语言学 • 电路测试技术 • 容错理论与技术 • Petri网理论 • 通信顺序进程CSP • 通信系统演算CCS • 分布式网络协议 返回
学科特点 1.理论性与实践性并重2抽象描述与具体实现相 学科基础:数学与电子 分离 科学 3.以计算模型和数学工具 以离散数学为代表的应 为龙头带动研究工作 用数学是描述学科理4问题描述成为解决问题 论、方法和技术的主 的关键 要工具。 5对人才综合素质的要求 微电子技术和程序设计 不断提高 技术是反映学科产品6对社会影响极其深刻 的主要形式。 返回
学科特点 1.理论性与实践性并重 学科基础:数学与电子 科学 以离散数学为代表的应 用数学是描述学科理 论、方法和技术的主 要工具。 微电子技术和程序设计 技术是反映学科产品 的主要形式。 2.抽象描述与具体实现相 分离 3.以计算模型和数学工具 为龙头带动研究工作 4.问题描述成为解决问题 的关键 5.对人才综合素质的要求 不断提高 6.对社会影响极其深刻 返回
发展主线 发展目标 1制造各种高性能计算机系统 2拓展应用领域和提高应用水平 发展主线 1计算模型与体系结构 2程序设计语言与软件开发方法学 3应用数学与计算机应用 发展启示 返回
发展主线 • 发展目标 1 制造各种高性能计算机系统 2 拓展应用领域和提高应用水平 • 发展主线 1 计算模型与体系结构 2 程序设计语言与软件开发方法学 3 应用数学与计算机应用 • 发展启示 返回
计算模型与体系结构 布尔代数、数理逻辑与哥德尔定理,可计 算性与图灵机,算法、计算复杂性与相似 性原理,冯.诺依曼与存储程序式计算机, 计算机的更新换代,进程与操作系统,线 程、并行与分布式计算,网络、分层协议 与机群系统,非冯.诺依曼型与第五代计算 机,新型计算机与网格计算 返回
计算模型与体系结构 布尔代数、数理逻辑与哥德尔定理,可计 算性与图灵机,算法、计算复杂性与相似 性原理,冯.诺依曼与存储程序式计算机, 计算机的更新换代,进程与操作系统,线 程、并行与分布式计算,网络、分层协议 与机群系统,非冯.诺依曼型与第五代计算 机,新型计算机与网格计算 返回
语言与软件开发方法学 二进制与机器语言,汇编语言与汇编程序 高级语言与编译程序,形式语言与自动机, 并发与Pet网,结构化程序与形式语义学, 软件危机与程序设计方法学,自然语言处 理与计算语言学,CASE与软件开发方法学 返回
语言与软件开发方法学 二进制与机器语言,汇编语言与汇编程序, 高级语言与编译程序,形式语言与自动机, 并发与Petri网,结构化程序与形式语义学, 软件危机与程序设计方法学,自然语言处 理与计算语言学,CASE与软件开发方法学 返回