讲座提纲 ,基本知识 -人一机一物三元世界、云计算、未来网、物联网、 泛在网、图灵机计算模型、网域计算模型 交互计算 经典计算与交互计算、交互的特点、交互的机器 模型、能描述交互的演算 从归纳到余归纳 一良基集、非良基集、余归纳、互模拟 从代数到余代数 笛卡尔积，可区分并，余代数，代数和余代数的区别讲 座 提 纲 • 基本知识 – 人−机−物三元世界、云计算、未来网、物联网、 泛在网、图灵机计算模型、网域计算模型 • 交互计算 – 经典计算与交互计算、交互的特点、交互的机器 模型、能描述交互的演算 • 从归纳到余归纳 – 良基集、非良基集、余归纳、互模拟 • 从代数到余代数 – 笛卡尔积, 可区分并, 余代数, 代数和余代数的区别3