庄朝晖：计算和逻辑 (2011-10-09 11:08:34) 标签： 校园 分类：工作篇 所谓计算模型是刻划计算这一概念的一种抽象的形式系统或数学系统&#xff