百科名片

内容提要：

图书目录：

百科名片

作/译者：董荣胜 古天龙出版社：人民邮电出版社

出版日期：2002年09月

ISBN：9787115103246 [十位:7115103240]

页数：204 重约：0.329KG

定价：￥21.00

内容提要：

本书是作者多年来对计算学科方法论研究成果的总结。作者根据《计算作为一门学科》报告对整个计算学科综述性导引课程的严密性和挑战性的要求,借鉴了数学的公理化思想,对计算学科的主要内容进行了系统化、逻辑化的概括,并通过大量实例,深入浅出地阐明了计算学科中各主领域发展的基本规律,揭示了各主领域之间的内在联系,有助于人们对计算学科的深入了解。

本书的主要内容包括:计算机科学与技术方法论的构建,计算学科的历史、定义、根本问题,计算学科各主领域的基本问题,计算学科中的抽象、理论和设计3个学科形态,计算学科中的核心概念、数学方法、系统科学方法、形式化技术、社会和职业的问题等。为了使读者能更好地理解和掌握书中的内容,在各章末还附有一定数量的思考题。

本书是计算学科认知领域的一本学术专著,也可作为高等院校计算学科方法论、计算机导论等课程的教材或参考书,还可供相关专业的学生、教师和科技人员参考。

图书目录：

第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 对“学生选课”例子的感性认识

3.1.2 对“学生选课”例子的理性认识

3.1.3 “学生选课”系统的工程设计