内容简介
本书是作者多年来对计算学科方法论研究成果的总结。作者根据《计算作为一门学科》报告对整个计算学科综述性导引课程的严密性和挑战性的要求，借鉴了数学的公理化思想，对计算学科的主要内容进行了系统化、逻辑化的概括，并通过大量实例，深入浅出地阐明了计算学科中各主领域发展的基本规律，揭示了各主领域之间的内在联系，有助于人们对计算学科的深入了解。
本书的主要内容包括：计算机科学与技术方法论的构建，计算学科的历史、定义、根本问题，计算学科各主领域的基本问题，计算学科中的抽象、理论和设计3个学科形态，计算学科中的核心概念、数学方法、系统科学方法、形式化技术、社会和职业的问题等。为了使读者能更好地理解和掌握书中的内容，在各章末还附有一定数量的思考题。
本书是计算学科认知领域的一本学术专著，也可作为高等院校计算学科方法论、计算机导论等课程的教材或参考书，还可供相关专业的学生、教师和科技人员参考。
授之以鱼，还是授之以渔？——烟台大学方法论体会摘要[2002-12-26]
附录A下载
附录B下载
编辑推荐
本书是作者多年来对计算学科方法论研究成果的总结。作者根据《计算作为一门学科》报告对整个计算学科综述性导引课程的严密性和挑战性的要求，借鉴了数学的公理化思想，对计算学科的主要内容进行了系统化、逻辑化的概括，并通过大量实例，深入浅出地阐明了计算学科中各主领域发展的基本规律，揭示了各主领域之间的内在联系，有助于人们对计算学科的深入了解。
目录
第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?梵天塔问题?
2.4.3?算法复杂性中的难解性问题、P类问题和NP类问题?
2.4.4?证比求易算法?
2.4.5?P＝？NP?
2.4.6?旅行商问题与组合爆炸问题?
2.4.7?生产者－消费者问题与“哲学家共餐”问题?
2.4.8?GOTO语句的问题以及程序设计方法学?
2.5?人工智能中的若干哲学问题
2.5.1?图灵测试
2.5.2?西尔勒的“中文屋子”
2.5.3?计算机中的博弈问题
思考题?
第3章?计算学科中的3个学科形态
3.1?一个关于“学生选课”的例子
3.1.1?对“学生选课”例子的感..
北京市公安局丰台分局备案编号：1101080539 
