| 本书是作者多年来对计算学科方法论研究成果的总结。作者根据《计算作为一门学科》报告对整个计算学科综述性导引课程的严密性和挑战性的要求，借鉴了数学的公理化思想，对计算学科的主要内容进行了系统化、逻辑化的概括，并通过大量实例，深入浅出地阐明了计算学科中各主领域发展的基本规律，揭示了各主领域之间的内在联系，有助于人们对计算学科的深入了解。 |
| 第1章 绪论 1.1 计算机科学与技术方法论产生的历史背景 1.1.1 早期关于“计算机科学”名称的争论 1.1.2 《计算作为一门学科》报告的主要成果及其局限性 1.1.3 CC1991的主要成果 1.1.4 CC2001的主要成果 1.1.5 计算教育面临的3个重大问题 1.1.6 计算机科学与技术方法论的提出 1.2 计算机科学与技术方法论的建立 1.2.1 计算机科学与技术方法论的定义 1.2.2 计算学科二维定义矩阵 1.2.3 计算学科的本质问题归约为定义矩阵本质问题的说明 1.3 计算机科学与技术方法论作为一个理论体系的阐述 1.3.1 作为理论体系的科学技术方法论 1.3.2 作为理论体系的计算机科学与技术方法论 1.4 计算机科学与技术方法论研究的意义 思考题 第2章 计算学科中的科学问题 2.1 概述 2.1.1 科学问题的定义 2.1.2 科学问题的主要特征和方法论作用 2.2 计算的本质、计算学科的定义及其根本问题 2.2.1 计算本质的认识历史 2.2.2 康托尔的集合论和罗素悖论 2.2.3 希尔伯特纲领 2.2.4 图灵对计算本质的揭示 2.2.5 现代计算机的产生以及计算学科的定义 2.2.6 计算学科的根本问题 2.2.7 从计算的角度认知思维、视觉和生命过程 2.3 计算学科各主领域的基本问题 2.4 计算学科中的典型问题及其相关内容 2.4.1 哥尼斯堡七桥问题 2.4.2 梵天塔问题 |
内容加载中，请稍后...
商品评论（0条）