形式语言与自动机-11-绪论课件

活动的正常开展，那么我发现一次：Р1、按缺课一次计算，Р2、从上课表现10分里倒扣5分。Р3、如果倒扣分超过了20分，对不起，?今年你不用上这门课，明年另请高明教你，?我不会给你成绩，0分我都不给。РDateР5РРР第一章 绪论Р1.0 一些习惯?1.1 课程意义 ?1.2 研究对象 ?1.3 学习方法 ?1.4 基本知识 ?1.5 习题РDateР6РРР1.1.1 计算机科学与技术学科人才的专业能力需求Р计算科学思维能力——抽象思维能力、逻辑思维能力?算法设计与分析的能力?程序设计与实现的能力?计算系统的认知、分析、设计和应用能力Р计算科学思维能力，也称计算机思维能力，其培养要求是学科本身所决定的。РDateР7РРР1.1.2 计算机科学与技术要解决的根本问题Р计算机科学与技术所要解决的根本问题是什么能被有效地自动化? ? 现代计算机技术认为，要想有效地自动化，必须经过抽象进行形式化处理。这就要求相应的从业人员能够研究和理解形式化的对象，并对它们进行形式化的处理。只有具备了计算科学思维能力，才能进行什么能被有效地自动化这一计算机学科的主题所包含的工作РDateР8РРРРР图1.1 自动化、形式化与计算科学思维РDateР9РРРР计算科学思维能力的培养主要是由基础理论系列课程实现的? 该系列内容上主要由在数学分析、高等代数、数值分析、概率与数理统计、集合论与图论、近世代数、数理逻辑，以及形式语言与自动机理论、数学建模等，这些课程构成了一个梯级训练系统。在此系统中，连续数学、离散数学、计算模型三部分内容按阶段展开，对应于本学科的学生在大学期间思维方式和能力变化与提高过程的三个步骤。为达到学生思维能力逐步朝着“计算科学思维”不断进步的的客观要求，就要完成学科特需的抽象思维能力和逻辑思维方法的培养。РDateР10