包邮计算机科学导论-思想与方法-(第2版)

第1章 绪论.
1.1 引言
1.2 学科专业名称的演变、学科描述及培养侧重点
1.3 学科知识体和核心课程
1.3.1 计算机科学知识体及专业核心课程
1.3.2 计算机工程知识体及专业核心课程
1.3.3 软件工程知识体及专业核心课程
1.3.4 信息技术知识体及专业核心课程
1.4 如何构建“计算机导论”课程
1.5 计算思维与计算机导论
1.6 本章小结
习题

第2章 学科的基本问题
2.1 引言
2.2 对问题进行抽象的一个典型实例：哥尼斯堡七桥问题
2.3 可计算问题与不可计算问题
2.3.1 梵天塔问题
2.3.2 算法复杂性中的难解性问题、P类问题和NP类问题
2.3.3 证比求易算法
2.3.4 P=?NP
2.3.5 RSA公开密钥密码系统
2.3.6 -个不可计算问题：停机问题
2.3.7 旅行商问题与组合爆炸问题
2.3.8 找零问题、背包问题与贪婪算法
2.4 GOTO话句与程序的结构
2.5 哲学家共餐问题与计算机的资源管理
2.6 两军问题与计算机网络
2.6.1 两军问题
2.6.2 互联网软件的分层结构
2.7 人工智能中的若干哲学问题
2.7.1 图灵测试
2.7.2 西尔勒的“中文屋子”
2.7.3 计算机中的博弈问题
2.8 计算机科学各主领域及其基
本问题
2.9 本章小结
习题二

第3章 3个学科形态
3.1 引言
3.2 一个关于“学生选课”的例子
3.2.1 对“学生选课”例子的感性认识
3.2.2 对“学生选课”例子的理性认识
3.2.3 “学生选课”系统的工程设计
3.3 抽象形态.
3.4 理论形态
3.5 设计形态.
3.6 3个学科形态的内在联系
3.7 计算机语言的发展及其3个学科形态的内在联系
3.7.1 自然语言与形式语言
3.7.2 图灵机与冯·诺依曼计算机.
3.7.3 机器指令与汇编语言
3.7.4 以虚拟机的观点来划分计算机的层次结构
3.7.5 高级语言
3.7.6 应用语言
3.7.7 自然语言
3.7.8 小结
3.8 计算机科学各领域3个学科形态的主要内容
3.9 本章小结
习题三

第4章 学科中的核心概念
4.1 引言
4.2 算法
4.2.1 算法的历史简介
4.2.2 算法的定义和特征.
4.2.3 算法实例.
4.2.4 算法的表示方法
4.2.5 算法分析
4.2.6 常用的两类算法：搜索与排序
4.3 数据结构
4.3.1 数据结构的基本概念
4.3 2基于Vcomputer机器的数据结构概述
4.3.3 基于Vcomputer机器的数据的逻辑结构
4.3.4 基于Vcomputer机器的数据昀存储结构l
4.4 程序
4.5 软件
4.6 硬件
4.7 数据的存储和表示
4.7.1 进位制数及其相互转换
4.7.2 原码、反码、补码及其转换
4.7.3 字符、字符串和汉字
4.7.4 图像
4.7.5 声音
4.8 CC1991报告提取的核心概念
4.9 本章小结
习题四

第5章 学科中的数学方法
5.1 引言
5.2 数学的基本特征
5.3 数学方法的作用
5.4 计算学科中常用的数学概念和术语
5.4.1 集合
5.4.2 函数和关系
5.4.3 代数系统
5.4.4 字母表、字符串和语言
5.4.5 定义、定理和证明
5.4.6 必要条件和充分条件
5.5 证明方法
5.5.1 直接证明法和间接证明法
5.5.2 反证法
5.5.3 归纳法
5.5.4 构造性证明
5.6 递妇和迭代
5.6.1 递归
5.6.2 迭代
5.7 随机数和蒙特卡洛方法
5.7.1 随机数
5.7.2 蒙特卡洛方法
5.8 公理化方法
5.8.1 理论体系
5.8.2 公理化方法的基本概念
5.8.3 实例
5.9 形式化方法
……
第6章 学科中的系统科学方法
第7章 社会与职业问题
第8章 探讨与展望
附录A CC2001中的计算机科学知识体
附录B Armstrong公理系统
附录C 哲学家共餐问题的模型检验
附录D m+O=m的定理证明
索引
参考文献