课程简介 术语解释参考（课堂上不介绍） 4.模型理论 ●关心的问题 -给定模型M, 哪些问题可以由模型M解决 -如何比较模型的表达能力 ·经典计算 确定的图灵机，可计算性理论属于模型理论 ● 新型计算 本质特点是交互（并发、分布、网络、网格、云） 。计算和交互的统一模型理论尚未出现课 程 简 介 • 术语解释参考（课堂上不介绍） 4. 模型理论 • 关心的问题 – 给定模型M，哪些问题可以由模型M解决 – 如何比较模型的表达能力 • 经典计算 – 确定的图灵机，可计算性理论属于模型理论 • 新型计算 – 本质特点是交互( 并发、分布、网络、网格、云 ) • 计算和交互的统一模型理论尚未出现 9