文档介绍：计算机科学与技术方法论
董荣胜古天龙著
人民邮电出版社
2
内容提要
本书是作者多年来对计算学科方法论研究成果的总结作者根据计算作为一门学
科报告对整个计算学科综述性导引课程的严密性和挑战性的要求借鉴了数学的公理
化思想对计算学科的主要内容进行了系统化逻辑化的概括并通过大量实例深入
浅出地阐明了计算学科中各主领域发展的基本规律揭示了各主领域之间的内在联系
有助于人们对计算学科的深入了解
本书的主要内容包括计算机科学与技术方法论的构建计算学科的历史定义
根本问题计算学科各主领域的基本问题计算学科中的抽象理论和设计 3 个学科形
态计算学科中的核心概念数学方法系统科学方法形式化技术社会和职业的问
题等为了使读者能更好地理解和掌握书中的内容在各章末还附有一定数量的思考题
本书是计算学科认知领域的一本学术专著也可作为高等院校计算学科方法论计
算机导论等课程的教材或参考书还可供相关专业的学生教师和科技人员参考
3
目录
第 1 章绪论.................................................................................................................... 1
计算机科学与技术方法论产生的历史背景....................................................... 1
早期关于计算机科学名称的争论........................................................ 2
计算作为一门学科报告的主要成果及其局限性................................. 2
的主要成果...................................................................................... 3
的主要成果...................................................................................... 4
计算教育面临的 3 个重大问题.................................................................... 4
计算机科学与技术方法论的提出................................................................ 5
计算机科学与技术方法论的建立....................................................................... 6
计算机科学与技术方法论的定义................................................................ 6
计算学科二维定义矩阵................................................................................ 7
计算学科的本质问题归约为定义矩阵本质问题的说明............................. 8
计算机科学与技术方法论作为一个理论体系的阐述....................................... 9
作为理论体系的科学技术方法论.............................................................. 10
作为理论体系的计算机科学与技术方法论.............................................. 12
计算机科学与技术方法论研究的意义.........................................................