课程简介 计算机科学的理论体系 1、模型理论 ●关心的问题 -给定模型M, 哪些问题可以由模型M解决 -如何比较模型的表达能力 ·经典计算 确定的图灵机，可计算性理论属于模型理论 ·新型计算 本质特点是交互（并发、分布、网络、网格、云） ·计算和交互的统一模型理论尚未出现
课 程 简 介 计算机科学的理论体系 1、模型理论 • 关心的问题 – 给定模型M，哪些问题可以由模型M解决 – 如何比较模型的表达能力 • 经典计算 – 确定的图灵机，可计算性理论属于模型理论 • 新型计算 – 本质特点是交互( 并发、分布、网络、网格、云 ) • 计算和交互的统一模型理论尚未出现
课程简介 计算机科学的理论体系 2、程序理论 ·关心的问题 -给定模型M, 如何用模型M解决问题 ●包括的领域 一程序设计范型、程序设计语言、程序设计、形式 语义、类型论、程序验证、程序分析等
课 程 简 介 计算机科学的理论体系 2、程序理论 • 关心的问题 – 给定模型M，如何用模型M解决问题 • 包括的领域 – 程序设计范型、程序设计语言、程序设计、形式 语义、类型论、程序验证、程序分析等
课程简介 计算机科学的理论体系 3、计算理论 ·关心的问题 给定模型M和一类问题，解决该类问题需要多少 资源 ·包括的领域 一计算复杂性理论
课 程 简 介 计算机科学的理论体系 3、计算理论 • 关心的问题 – 给定模型M和一类问题，解决该类问题需要多少 资源 • 包括的领域 – 计算复杂性理论
课程简介 围绕程序设计语言的研究（课程涉及内容用 绿色表示) 语法：形式语言和自动机理论， 语法分析的实现 技术 语义：公理语义、操作语义、指称语义 形式描述技术还有：代数规范、范畴论、属性 文法 程序设计的范型：命令式语言、函数式语言、逻 辑程序设计语言、面向对象程序设计语言、并行 程序设计语言
课 程 简 介 围绕程序设计语言的研究（课程涉及内容用 绿色表示） – 语法：形式语言和自动机理论，语法分析的实现 技术 – 语义：公理语义、操作语义、指称语义 形式描述技术还有：代数规范、范畴论、属性 文法 – 程序设计的范型：命令式语言、函数式语言、逻 辑程序设计语言、面向对象程序设计语言、并行 程序设计语言
课程简介 围绕程序设计语言的研究（课程涉及内容用 绿色表示) 类型论与类型系统：多态类型、子类型、存在类 型 程序验证：程序正确性证明 程序分析技术：数据流分析、控制流分析、模型 检查、抽象解释 程序的自动生成技术：程序变换
课 程 简 介 围绕程序设计语言的研究（课程涉及内容用 绿色表示） – 类型论与类型系统：多态类型、子类型、存在类 型 – 程序验证：程序正确性证明 – 程序分析技术：数据流分析、控制流分析、模型 检查、抽象解释 – 程序的自动生成技术：程序变换