《计算理论基础》课程教学大纲（本科）.pdfVIP

计算理论基础 （Induction to the Theory of Computation） 课程代码 学分：2.0 学时：32 （其中：课堂教学学时：32 实验学时：0 上机学时：0 ） 先修课程：离散数学，程序设计基础 适用专业：信息安全 教材：《计算理论导引》，Michael Sipser 著，段磊，唐长杰等译，机械工业出版社，2016 年 10 月第 1 版 一、课程性质与课程目标 （一）课程性质 《计算理论基础》是专业基础课、必修课。计算理论基础讨论了计算机科学中的纯粹、引人 注目并且普遍存在的基本内容，介绍构成基本计算范例的基本概念、模型、技巧、结果，阐述当 今计算机科学家用于建模、讨论和预测算法与计算的思想概念与数学知识。 （二）课程目标 1.知识方面 课程 目标1.1：掌握自动机等基本计算模型及其演绎模型的形式化描述。 课程 目标1.2：掌握构造能够识别语言的自动装置的基本方法。 课程 目标1.3：掌握能够证明语言特性的基本证明方法。 课程 目标1.4：了解计算模型在应用领域的广泛应用。 2.能力与素质方面 课程 目标2.1：能够针对信息系统的运行过程演绎其对应的计算模型。 课程 目标2.2：能够针对简单信息系统设计其对应的计算模型，并理解模型的不足。 课程 目标2.3：能够基于计算模型为信息系统的设计与测试提供指导。 （三）课程目标与专业毕业要求指标点的对应关系 本课程支撑专业培养计划中毕业要求指标点 1-4,2-2,4-1。 1.毕业要求 1-4：能将数学、自然科学、工程基础和专业知识运用到复杂工程问题的表述 。 2.毕业要求 2-2：借助文献辅助，具备对复杂工程问题进行识别、表达、建模、求解的能力， 以及对分析结论进行有效性评价的能力。 3.毕业要求 4-1：掌握针对复杂工程问题设计实验的科学方法。 毕业要求指标标点 毕业要求 1-4 毕业要求 2-2 毕业要求 4-1 课程目标 课程目标 1.1 √ 课程目标 1.2 √ 课程目标 1.3 √ √ 课程目标 2.1 √ √ 课程目标 2.2 √ √ 课程目标 2.3 √ 二、课程内容与教学要求 第一章 有穷自动机和正则语言 本章支持课程目标：1.1 掌握自动机等基本计算模型及其演绎模型的形式化描述；1.2 掌握 构造能够识别语言的自动装置的基本方法；1.3 掌握能够证明语言特性的基本证明方法；1.4 了 解计算模型在应用领域的广泛应用；2.1 能够针对信息系统的运行过程演绎其对应的计算模型； 2.2 能够针对简单信息系统设计其对应的计算模型，并理解模型的不足；2.3 能够基于计算模型 为信息系统的设计与测试提供指导。 （一）课程内容 （1）有穷自动机。（讲授） （2）正则语言和正则运算。（讲授） （3）非确定性与非确定型有穷自动机。（讲授） （4）NFA、DFA 的等价行与正则运算的封闭性。（讲授+课堂练习） （5）正则表达式。（讲授+课堂练习） （6）正则语言的泵引理与非正则语言。（讲授+课堂练习） （一）教学要求 1．理解有穷自动机的形式化定义与运行过程。 2．掌握有穷自动机的构造技术。 3．掌握正则语言的运算及其封闭性。 4．理解非确定型自动机的运行过程。 5．理解确定型有穷自动机与非确定型有穷自动机之间的等价性。 6．掌握构造与