高等学校计算机科学与技术专业系列教材 计算机科学导论：思想与方法pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

高等学校计算机科学与技术专业系列教材 计算机科学导论：思想与方法PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章 绪论 1

1.1 引言 1

1.1.1 计算学科命名的背景 1

1.1.2 计算学科的定义 1

1.1.3 计算学科的根本问题 2

1.2 学科专业名称的演变、学科描述及培养侧重点 2

1.2.1 演变中的学科专业名称 3

1.2.2 分支学科（专业）描述及培养侧重点 3

1.3 学科知识体和核心课程 4

1.3.1 计算机科学知识体及专业核心课程 5

1.3.2 计算机工程知识体及专业核心课程 8

1.3.3 软件工程知识体及专业核心课程 12

1.3.4 信息技术知识体及专业核心课程 15

1.4 如何构建“计算机导论”课程 17

1.4.1 “计算机导论”课程的构建是计算教育面临的一个重大问题 17

1.4.2 计算学科的认知模型——计算学科二维定义矩阵 18

1.4.3 “计算机导论”课程的结构设计 18

1.5 本章小结 19

习题一 19

第2章 学科的基本问题 21

2.1 引言 21

2.2 对问题进行抽象的一个典型实例：哥尼斯堡七桥问题 21

2.3 可计算问题与不可计算问题 23

2.3.1 梵天塔问题 23

2.3.2 算法复杂性中的难解性问题、P类问题和NP类问题 25

2.3.3 证比求易算法 25

2.3.4 P=?NP 26

2.3.5 一个不可计算问题：停机问题 27

2.3.6 旅行商问题与组合爆炸问题 29

2.3.7 找零问题、背包问题与贪婪算法 31

2.4 “GOTO语句”与程序的结构 33

2.5 “哲学家共餐”问题与计算机的资源管理 34

2.5.1 生产者-消费者问题 34

2.5.2 “哲学家共餐”问题 34

2.6 “两军问题”与计算机网络 35

2.6.1 两军问题 36

2.6.2 互联网软件的分层结构 37

2.7 人工智能中的若干哲学问题 38

2.7.1 图灵测试 39

2.7.2 西尔勒的“中文屋子” 40

2.7.3 计算机中的博弈问题 40

2.8 计算机科学各主领域及其基本问题 42

2.8.1 离散结构 42

2.8.2 程序设计基础 43

2.8.3 算法与复杂性 43

2.8.4 体系结构 44

2.8.5 操作系统 44

2.8.6 网络计算 45

2.8.7 程序设计语言 45

2.8.8 人机交互 46

2.8.9 图形学和可视化计算 46

2.8.10 智能系统 47

2.8.11 信息系统 48

2.8.12 软件工程 48

2.8.13 社会和职业问题 49

2.8.14 科学计算 49

2.9 本章小结 50

习题二 51

第3章 3个学科形态 53

3.1 引言 53

3.2 一个关于“学生选课”的例子 53

3.2.1 对“学生选课”例子的感性认识 54

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

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

3.3 抽象形态 58

3.3.1 一般科学技术方法论中的抽象形态 58

3.3.2 计算学科中的抽象形态 58

3.3.3 例子中有关抽象形态的主要内容及其简要分析 58

3.4 理论形态 59

3.4.1 一般科学技术方法论中的理论形态 59

3.4.2 计算学科中的理论形态 59

3.4.3 例子中有关理论形态的主要内容及简要分析 59

3.5 设计形态 59

3.5.1 一般科学技术方法论中的设计形态 59

3.5.2 计算学科中的设计形态 60

3.5.3 例子中有关设计形态的主要内容及简要分析 60

3.6 3个学科形态的内在联系 61

3.6.1 一般科学技术方法论中3个学科形态的内在联系 61

3.6.2 计算学科中3个学科形态的内在联系 61

3.6.3 关系数据库领域中3个学科形态的内在联系 62

3.7 计算机语言的发展及其3个学科形态的内在联系 63

3.7.1 自然语言与形式语言 63

3.7.2 图灵机与冯·诺依曼计算机 65

3.7.3 机器指令与汇编语言 72

3.7.4 以虚拟机的观点来划分计算机的层次结构 74

3.7.5 高级语言 76

3.7.6 应用语言 77

3.7.7 自然语言 78

3.7.8 小结 81

3.8 计算机科学各领域3个学科形态的主要内容 81

3.9 本章小结 86

习题三 87

第4章 学科中的核心概念 91

4.1 引言 91

4.2 算法 91

4.2.1 算法的历史简介 92

4.2.2 算法的定义和特征 93

4.2.3 算法实例 94

4.2.4 算法的表示方法 95

4.2.5 算法分析 100

4.3 数据结构 101

4.3.1 数据结构的基本概念 101

4.3.2 常用的几种数据结构 102

4.4 程序 103

4.5 软件 104

4.6 硬件 104

4.7 数据存储和表示 105

4.7.1 进位制数及其相互转换 105

4.7.2 原码、反码、补码及其转换 108

4.7.3 字符、字符串和汉字 110

4.7.4 图像 113

4.7.5 声音 114

4.8 CC1991报告提取的核心概念 114

4.9 本章小结 116

习题四 117

第5章 学科中的数学方法 120

5.1 引言 120

5.2 数学的基本特征 121

5.3 数学方法的作用 121

5.4 计算学科中常用的数学概念和术语 122

5.4.1 集合 122

5.4.2 函数和关系 123

5.4.3 代数系统 125

5.4.4 字母表、字符串和语言 130

5.4.5 定义、定理和证明 131

5.4.6 必要条件和充分条件 132

5.5 证明方法 134

5.5.1 直接证明法和间接证明法 134

5.5.2 反证法 134

5.5.3 归纳法 135

5.5.4 构造性证明 136

5.6 递归和迭代 136

5.6.1 递归 137

5.6.2 迭代 139

5.7 公理化方法 139

5.7.1 理论体系 140

5.7.2 公理化方法的基本概念 140

5.7.3 实例 141

5.8 形式化方法 142

5.8.1 形式系统的组成、基本特点和局限性 143

5.8.2 形式化方法概述 144

5.8.3 形式规格 145

5.8.4 形式验证 146

5.9 本章小结 148

习题五 149

第6章 学科中的系统科学方法 152

6.1 引言 152

6.2 系统科学与系统科学方法 152

6.2.1 系统科学的基本概念 153

6.2.2 系统科学遵循的一般原则 154

6.2.3 常用的几种系统科学方法 155

6.2.4 实例 156

6.3 软件开发中使用系统科学方法的原因 157

6.3.1 人固有能力的局限性以及使用工具后产生的力量 157

6.3.2 复杂性 158

6.3.3 软件系统的复杂性 159

6.3.4 软件开发的系统化方法需要遵循的基本原则 161

6.4 结构化方法 163

6.4.1 结构化方法的产生和发展 163

6.4.2 结构化方法遵循的基本原则 164

6.4.3 结构化方法的核心问题 164

6.4.4 结构化方法实例：高等学校信息管理系统 166

6.5 面向对象方法 167

6.5.1 面向对象方法的产生和发展 167

6.5.2 面向对象方法的基本思想 167

6.5.3 面向对象方法的核心问题 169

6.5.4 面向对象方法实例：图书管理系统 171

6.6 本章小结 173

习题六 174

第7章 社会与职业问题 175

7.1 引言 175

7.2 计算的历史 176

7.2.1 计算机史前史——1946年以前的世界 176

7.2.2 计算机硬件的历史 177

7.2.3 计算机软件的历史 178

7.2.4 计算机网络的历史 180

7.2.5 中国计算机事业发展的历程 181

7.3 计算的社会背景 182

7.3.1 计算的社会内涵 182

7.3.2 网络的社会内涵 183

7.3.3 因特网的增长、控制和使用 183

7.3.4 有关性别的问题 185

7.4 道德分析的方法 185

7.4.1 道德选择 185

7.4.2 道德评价 186

7.4.3 道德选择中其他相关因素及道德选择过程 186

7.5 职业和道德责任 187

7.5.1 职业化的本质 187

7.5.2 软件工程师的道德准则及行为规范 187

7.5.3 与检举有关的内容 189

7.5.4 计算中的“可接受使用”政策 191

7.6 基于计算机系统的风险和责任 191

7.6.1 历史上软件风险的例子 191

7.6.2 软件的正确性、可靠性和安全性 192

7.6.3 软件测试 193

7.6.4 软件重用中隐藏的问题 193

7.6.5 风险评定与风险管理 194

7.7 团队工作 195

7.7.1 基本概念 195

7.7.2 团队目的 196

7.7.3 团队机制 196

7.7.4 团队激励 197

7.7.5 团队僵局 199

7.8 知识产权 200

7.8.1 知识产权概述 200

7.8.2 著作权、商标、专利、集成电路布图设计和商业秘密 201

7.8.3 数字千年版权法和TEACH法案 203

7.8.4 软件专利 204

7.8.5 有关知识产权的国际问题 205

7.8.6 我国有关知识产权保护的现状 205

7.9 隐私和公民自由 206

7.9.1 隐私保护的道德和法律基础 206

7.9.2 基于Web的隐私保护技术 207

7.9.3 计算机空间的言论自由 210

7.9.4 相关的国际问题和文化之间的问题 211

7.10 计算机犯罪 211

7.10.1 计算机犯罪及相关立法 211

7.10.2 黑客 212

7.10.3 恶意计算机程序和拒绝服务攻击 213

7.10.4 防止计算机犯罪的策略 215

7.11 本章小结 215

习题七 216

第8章 探讨与展望 218

8.1 引言 218

8.2 若干问题的探讨 218

8.2.1 计算本质的认识历史 218

8.2.2 第三次数学危机与希尔伯特纲领 219

8.2.3 图灵对计算本质的揭示 220

8.2.4 如何定义一门学科 221

8.2.5 计算学科属“工科”还是“理科” 222

8.2.6 程序设计在计算学科中的地位 222

8.2.7 计算学科目前的核心课程能否培养学生计算方面的能力 222

8.2.8 在计算课程中如何做到理论与实践相结合 223

8.2.9 发明与创新 223

8.2.10 关于能力的培养 225

8.2.11 难度、复杂度与能力 226

8.2.12 科学素养 228

8.3 计算学科教育的展望 231

8.3.1 技术的变化 231

8.3.2 文化的改变 232

8.3.3 制订教学计划的原则 233

8.3.4 未来的计算学科教育 234

8.4 本章小结 235

习题八 236

附录A 计算机科学知识体 238

附录B Armstrong公理系统 248

附录C 哲学家共餐问题的模型检验 251

附录D m+0=m的定理证明 258

参考文献 262