| 本书的撰写建立在计算学科认知模型的基础上，并在学科思想与方法层面上对学生进行整个学科的导引，为学生顺利完成大学课程的学习提供必要的帮助。 从问题入手进行导引，是将学生引入学科富有挑战性领域的一个有效方法。本书从与计算学科有关的若干著名问题出发，引出学科及其分支领域的基本问题。增加了本书的趣味性，使问题更易于理解和记忆。 从程序员的角度，以计算机语言的发展为主线，将自然语言、形式语言、图灵机、冯·诺依曼计算机，以及程序等内容联系在一起，为学生以后深入学习和理解计算机系统打下基础。 |
| 第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 计算机科学知识体 附录B Armstrong公理系统 附录C 哲学家共餐问题的模型检验 附录D m+o=m的定理证明 参考文献 |
内容加载中，请稍后...
商品评论（0条）