1、课堂要点

• 自动机、可计算性与复杂性
• 数学概念和术语
• 定义、定理和证明
• 证明的类型

2、课后要求

将课堂上的概念过一遍。