计算的正确性问题 ·算法理论 电路测试技术 语言的语义学 容错理论与技术 程序理论 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与软件开发方法学 返回