第二讲:计算模型