从定义、构造、证明、反例和可运行验证完整掌握形式语言与证明工具。
7 讲从定义、构造、证明、反例和可运行验证完整掌握DFA：把语言变成有限状态。
7 讲从定义、构造、证明、反例和可运行验证完整掌握NFA、正则表达式与最小化。
7 讲从定义、构造、证明、反例和可运行验证完整掌握CFG：递归结构的语言。
7 讲从定义、构造、证明、反例和可运行验证完整掌握PDA与上下文无关语言。
7 讲从定义、构造、证明、反例和可运行验证完整掌握泵引理与不可识别性证明。
7 讲从定义、构造、证明、反例和可运行验证完整掌握图灵机与通用计算模型。
7 讲从定义、构造、证明、反例和可运行验证完整掌握可判定性与不可判定性。
7 讲从定义、构造、证明、反例和可运行验证完整掌握归约：把未知问题连接起来。
7 讲从定义、构造、证明、反例和可运行验证完整掌握时间、空间与复杂度类。
7 讲从定义、构造、证明、反例和可运行验证完整掌握NP、NP完全与验证。
7 讲从定义、构造、证明、反例和可运行验证完整掌握随机、近似、描述复杂性与证明项目。
7 讲