课程内容 课程内容 围绕学科理论体系中的模型理论，程序理论和计算理论 1.模型理论关心的问题 给定模型M,哪些问题可以由模型M解决；如何 比较模型的表达能力 本讲座概要介绍交互计算的 2.程序理论关心的问题 特点及相关的一些数学知识 给定模型M,如何用模型M解决问题 包括程序设计范型、程序设计语言、程序设计、 形式语义、类型论、程序验证、程序分析等 3.计算理论关心的问题 给定模型M和一类问题，解决该类问题需多少资源
课 程 内 容 • 课程内容 围绕学科理论体系中的模型理论, 程序理论和计算理论 1. 模型理论关心的问题 给定模型M，哪些问题可以由模型M解决；如何 比较模型的表达能力 2. 程序理论关心的问题 – 给定模型M，如何用模型M解决问题 – 包括程序设计范型、程序设计语言、程序设计、 形式语义、类型论、程序验证、程序分析等 3. 计算理论关心的问题 给定模型M和一类问题, 解决该类问题需多少资源2 本讲座概要介绍交互计算的 特点及相关的一些数学知识
讲座提纲 ,基本知识 -人一机一物三元世界、云计算、未来网、物联网、 泛在网、图灵机计算模型、网域计算模型 交互计算 经典计算与交互计算、交互的特点、交互的机器 模型、能描述交互的演算 从归纳到余归纳 一良基集、非良基集、余归纳、互模拟 从代数到余代数 笛卡尔积，可区分并，余代数，代数和余代数的区别
讲 座 提 纲 • 基本知识 – 人−机−物三元世界、云计算、未来网、物联网、 泛在网、图灵机计算模型、网域计算模型 • 交互计算 – 经典计算与交互计算、交互的特点、交互的机器 模型、能描述交互的演算 • 从归纳到余归纳 – 良基集、非良基集、余归纳、互模拟 • 从代数到余代数 – 笛卡尔积, 可区分并, 余代数, 代数和余代数的区别3
基本知识 ·人一机-物三元世界 由计算机网络世界（也称计算世界，cyber world、 物理世界和人类社会组成的人机物协同社会，是 多人、多机和多物组成的动态开放并协同工作的 网络社会 计算机科学是研究人机物三元世界中计算现象这 个共同主线的科学 站在三元世界的高度，有助于理解云计算、未来 网、物联网、泛在网(ubiquitous network)的新技 术趋势
• 人−机−物三元世界 – 由计算机网络世界(也称计算世界, cyber world)、 物理世界和人类社会组成的人机物协同社会，是 多人、多机和多物组成的动态开放并协同工作的 网络社会 – 计算机科学是研究人机物三元世界中计算现象这 个共同主线的科学 – 站在三元世界的高度，有助于理解云计算、未来 网、物联网、泛在网(ubiquitous network)的新技 术趋势 基 本 知 识 4
基本知识 云计算 -把资源集中于互联网上的数据中心，由这种云中 心提供应用层、平台层和基础设施层的集中服务 强调信息资源的聚集、优化、动态分配和回收， 通过提高数据中心的效率，解决传统T系统的零 散性带来的低效率，降低信息化成本、降低能耗 向公众提供一种新的高效计算模式，兼有互联网 服务的便利与廉价和大型计算机的能力 云计算可为物联网和泛在网提供后端处理能力与 应用平台
• 云计算 – 把资源集中于互联网上的数据中心，由这种云中 心提供应用层、平台层和基础设施层的集中服务 – 强调信息资源的聚集、优化、动态分配和回收， 通过提高数据中心的效率，解决传统IT系统的零 散性带来的低效率，降低信息化成本、降低能耗 – 向公众提供一种新的高效计算模式，兼有互联网 服务的便利与廉价和大型计算机的能力 – 云计算可为物联网和泛在网提供后端处理能力与 应用平台 基 本 知 识 5
基本知识 未来网（未来互联网，post-IP network) 基于TCPP协议的互联网随着其广泛应用，在可 扩展性、移动性、安全性、服务质量和可靠性等 方面都暴露出本质缺陷 -近十多年来渐进式的改进未能从根本上解决问题 美国和欧盟等已开展“从零开始”的革命方式研 究未来互联网 未来网可为云计算、物联网和泛在网提供更加高 效安全的网络基础技术
• 未来网（未来互联网，post-IP network） – 基于TCP/IP协议的互联网随着其广泛应用，在可 扩展性、移动性、安全性、服务质量和可靠性等 方面都暴露出本质缺陷 – 近十多年来渐进式的改进未能从根本上解决问题 – 美国和欧盟等已开展“从零开始”的革命方式研 究未来互联网 – 未来网可为云计算、物联网和泛在网提供更加高 效安全的网络基础技术 基 本 知 识 6