计算学科的形成及其基本问题.pptVIP

第 4 课 计算学科的形成及其基本问题 /1975731184/infocenter#!app=2via=QZ.HashRefreshpos=1366384958 主要内容 4.1 计算学科的形成 4.2 计算学科的基本问题 4.1 计算学科的形成 4.1.1 计算教育面临的三个重大问题 4.1.2 计算学科的形成过程 4.1.3 计算机科学催生者——艾伦.佩利 4.1.1 计算教育面临的三个重大问题 第一个重大问题：计算作为一门学科的存在性证明 解决难点：选择什么证明方式？ 第二个重大问题：整个学科核心课程的详细设计 解决难点：计算机专业本科阶段必须学习哪些内容？ 第三个重大问题：整个学科综述性导引（导论）课程的构建 解决难点：如何用公理化方法来概括学科？学科各主领域中要提出哪些科学问题？ 解决3个重大问题的意义 计算作为一门学科的地位的确定，对学科的发展至关重要 确定一个公认的本科生必须掌握的核心内容，将为高校制定计算机教学计划奠定基础 对计算学科的认知能建立在公理化的基础上，将使人们对整个计算学科的认知科学化、系统化和逻辑化 4.1.2 计算学科的形成过程 1989年ACM和IEEE-CS联合攻关组在《计算作为一门学科》报告指出：计算学科是对描述和变换信息的算法过程进行的系统研究，包括理论、分析、设计、效率、实现和应用等。 该报告第一次给出了计算学科一个透彻的定义，给出了计算