形式语言与自动机的作用 形式语言和自动机的理论已经成为计算机科学 的理论基础之一。 应用范围已被扩展到生物工程、自动控制系统 ，图像处理与模式识别等许多领域。 /956
形式语言与自动机的作用 形式语言和自动机的理论已经成为计算机科学 的理论基础之一 。 应用范围已被扩展到生物工程、自动控制系统 、图像处理与模式识别等许多领域
计算机学科的专业能力 计算思维能力 算法设计与分析能力 程序设计与实现能力 计算机系统的认知、分析、 设计和运用能力 1956
计算机学科的专业能力 计算思维能力 算法设计与分析能力 程序设计与实现能力 计算机系统的认知、分析、 设计和运用能力
计算思维能力 形式化描述（问题）能力 抽象思维能力 逻辑思维能力 /956
计算思维能力 形式化描述(问题)能力 抽象思维能力 逻辑思维能力
计算机学科的理论基础 统称为计算理论，包括 形式语言与自动机 可计算理论 计算复杂性理论 /956
计算机学科的理论基础 统称为计算理论，包括 形式语言与自动机 可计算理论 计算复杂性理论
研究生阶段 需要进一步进行抽象思维、逻辑思维、创造能力 的培养。 需要更宽厚、坚实的理论基础。 /956
研究生阶段 需要进一步进行抽象思维、逻辑思维、创造能力 的培养。 需要更宽厚、坚实的理论基础