计算机科学导论——思想与方法(第4版)

本书依据教育部高等学 校计算机类专业教学指导委 员会对“计算机导论”课程的 要求，以及教育部高等学校 大学计算机课程教学指导委 员会对“大学计算机”课程的 基本要求，并参考ACM和 IEEE CS对“计算机科学导论 ”课程的有关建议组织编写 。在学科思想与方法层面将 学科知识有机地统一起来， 避免了学科知识的杂乱堆积 ，有助于课程的教与学。基 于本书“学科认知模型”的课 程设计，适合采用翻转课堂 的教学方式，通过将良好的 课程结构与先进的教学方式 相结合能够强化学生的计算 思维习惯，提高问题求解的 能力。 本书主要内容有绪论， 计算学科的基本问题，计算 学科的三形态，计算学科的 核心概念，计算学科中的数 学方法、统计学方法、系统 科学方法，社会与职业问题 ，若干问题的探讨，以及多 组与课程讲授内容相呼应的 实验等。 本书可作为高等学校“计 算机科学导论”“计算概论”“ 计算思维与建模”或“大学计 算机科学”等课程的教材或 参考书，还可供广大教师、 科技人员和其他对科学思维 能力培养感兴趣的相关人士 参考。

第1章 绪论 1.1 引言 1.2 计算学科的演变、专业描述 1.3 计算机科学的知识体和核心课程 1.4 “计算机科学导论”课程的业构建问题 1.5 计算思维与计算机科学导论 1.6 本章小结 习题 第2章 计算学科的基本问题 2.1 引言 2.2 对计算问题进行抽象的一个典型 实例：哥尼斯堡七桥问题 2.3 可计算问题与不可计算问题 2.3.1 汉诺塔问题 2.3.2 算法复杂性中的难解问题 2.3.3 证比求易算法 2.3.4 P=NP？ 2.3.5 RSA公开密钥密码系统 2.3.6 停机问题 2.3.7 旅行商问题与组合爆炸问题 2.3.8 找零问题、背包问题与贪婪算法 2.4 GOTO语句与程序的结构 2.5 哲学家共餐问题与计算机的资源管理 2.6 两军问题与计算机网络 2.6.1 两军问题 2.6.2 互联网软件的分层结构 2.7 人工智能中的若干哲学问题 2.7.1 图灵测试 2.7.2 瑟尔的“中文房间” 2.7.3 计算机中的博弈问题 2.8 计算机科学各主领域及其基本问题 2.9 本章小结 习题 第3章 计算学科的三形态 3.1 引言 3.2 “学生选课”实例 3.2.1 对“学生选课”实例的感性认识 3.2.2 对“学生选课”实例的理性认识 3.2.3 “学生选课”系统的工程设计 3.3 抽象形态 3.4 理论形态 3.5 设计形态 3.6 三形态的内在联系 3.7 计算机语言的发展及其三形态的内在联系 3.7.1 自然语言与形式语言 3.7.2 图灵机与冯·诺依曼计算机 …… 第4章 计算学科的核心概念 第5章 计算学科中的数学方法 第6章 计算学科中的统计学方法