讲座提纲 基本知识 计算、计算模型、并行计算模型 图灵机概述 图灵的基本思想、基本图灵机、图灵机的变种 λ演算 入表达式的文法、λ演算的变换规则、 Church数 码 递归函数 直观意义的可计算函数、原始递归函数、递归函 数讲 座 提 纲 • 基本知识 – 计算、计算模型、并行计算模型 • 图灵机概述 – 图灵的基本思想、基本图灵机、图灵机的变种 • 演算 – 表达式的文法、 演算的变换规则、Church数 码 • 递归函数 – 直观意义的可计算函数、原始递归函数、递归函 数 3