计算机科学导论：思想与方法

图书标准信息

• 作者 董荣胜 著
• 出版社 高等教育出版社
• 出版时间 2007-09
• 版次 1
• ISBN 9787040224627
• 定价 21.80元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 263页
• 字数 390千字

【内容简介】

《计算机科学导论：思想与方法》根据教育部高等学校计算机科学与技术教学指导委员会、IEEE—CS和ACM对“计算机导论”课程的要求，将“计算机导论”课程构建的重点放在课程的结构设计上，在学科思想与方法这个较高的层面，将学科知识有机地统一起来，避免了该课程在结构设计上容易出现的学科知识杂乱堆积的问题，有助于课程的教与学。
《计算机科学导论：思想与方法》的主要内容包括计算学科专业名称的演变，学科的描述、培养侧重点，学科各专业方向的知识体与核心课程，“计算机导论”课程的构建，学科的基本问题，学科中的抽象、理论和设计3个学科形态，学科中的核心概念、数学方法、系统科学方法，社会与职业问题，学科若干问题的探讨以及对学科教育的展望等。为了使读者更好地理解和掌握书中的内容，在各章末都附有一定数量的习题。
《计算机科学导论：思想与方法》可作为高等学校“计算机导论”或“计算机方法论”等课程的教材，还可供其他专业的学生、教师和科技人员参考。

【目录】

第1章绪论
1.1引言
1.1.1计算学科命名的背景
1.1.2计算学科的定义
1.1.3计算学科的根本问题
1.2学科专业名称的演变、学科描述及培养侧重点
1.2.1演变中的学科专业名称
1.2.2分支学科（专业）描述及培养侧重点
1.3学科知识体和核心课程
1.3.1计算机科学知识体及专业核心课程
1.3.2计算机工程知识体及专业核心课程
1.3.3软件工程知识体及专业核心课程
l.3.4信息技术知识体及专业核心课程
1.4如何构建“计算机导论”课程
1.4.1“计算机导论”课程的构建是计算教育面临的一个重大问题
1.4.2计算学科的认知模型——计算学科二维定义矩阵
1.4.3“计算机导论”课程的结构设计
1.5本章小结
习题一

第2章学科的基本问题
2.1引言
2.2对问题进行抽象的一个典型实例：哥尼斯堡七桥问题
2.3可计算问题与不可计算问题
2.4“GOTO语句”与程序的结构
2.5“哲学家共餐”问题与计算机的资源管理
2.6“两军问题”与计算机网络
2.7人工智能中的若干哲学问题
2.8计算机科学各主领域及其基本问题
2.9本章小结
习题二

第3章3个学科形态
第4章学科中的核心概念
第5章学科中的数学方法
第6章学科中的系统方法
第7章社会与职业问题
第8章探讨与展望
附录A计算机科学知识体
附录BArmstrong公理系统
附录C哲学家共餐问题的模型检验
附录Dm+o=m的定理证明
参考文献