计算机科学导论 第三版目录

计算机科学导论 第三版目录

第1章	绪论	1	1.1	图灵模型	11.1.1	数据处理器	11.1.2	可编程数据处理器	21.1.3	通用图灵机	21.2	冯·诺依曼模型	31.2.14	个子系统	31.2.2	存储程序概念	31.2.3	指令的顺序执行	41.3	计算机组成部分	41.3.1	计算机硬件	41.3.2	数据	41.3.3	计算机软件	51.4	历史	61.4.1	机械计算机器（1930年以前）	61.4.2	电子计算机的诞生（1930～1950年）	61.4.3	计算机的诞生（1950年至今）	71.5	社会问题和道德问题	81.5.1	社会问题	81.5.2	道德问题	81.6	计算机科学作为一门学科	91.7	课程纲要	91.7.1	第一部分：数据的表示与运算	91.7.2	第二部分：计算机硬件	91.7.3	第三部分：计算机软件	91.7.4	第四部分：数据组织与抽象	91.7.5	第五部分：高级话题	101.8	章末材料	101.9	练习	10
第2章	数字系统		122.1	引言	122.2	位置化数字系统	122.2.1	十进制系统（以10为底）	132.2.2	二进制系统（以2为底）	142.2.3	十六进制系统（以16为底）	152.2.4	八进制系统（以8为底）	162.2.54	种位置化数字系统的小结	162.2.6	转换	172.3	非位置化数字系统	222.4	章末材料	232.5	练习	24
第3章	数据存储		273.1	数据类型	273.2	存储数字	283.2.1	存储整数	293.2.23	种系统的比较	343.2.3	实数	353.3	存储文本	403.4	存储音频	413.4.1	采样	413.4.2	量化	423.4.3	编码	423.4.4	声音编码标准	423.5	存储图像	423.5.1	光栅图	423.5.2	矢量图	443.6	存储视频	443.7	章末材料	443.8	练习	45
第4章	数据运算		494.1	逻辑运算	494.1.1	位层次上的逻辑运算	494.1.2	模式层次上的逻辑运算	514.2	移位运算	534.3	算术运算	544.3.1	整数的算术运算	554.3.2	实数的算术运算	584.4	章末材料	614.5	练习	62
第5章	计算机组成		645.1	引言	645.2	中央处理单元	645.2.1	算术逻辑单元	645.2.2	寄存器	655.2.3	控制单元	655.3	主存储器	655.3.1	地址空间	665.3.2	存储器的类型	665.3.3	存储器的层次结构	675.3.4	高速缓冲存储器	675.4	输入/输出子系统	685.4.1	非存储设备	685.4.2	存储设备	685.5	子系统的互连	735.5.1	CPU和存储器的连接	735.5.2	I/O设备的连接	735.5.3	输入／输出设备的寻址	765.6	程序执行	775.6.1	机器周期	775.6.2	输入／输出操作	785.7	不同的体系结构	795.7.1	CISC	795.7.2	RISC	805.7.3	流水线	805.7.4	并行处理	805.8	简单计算机	825.8.1	CPU	825.8.2	主存	835.8.3	输入/输出子系统	835.8.4	指令集	835.8.5	处理指令	845.8.6	存储程序和数据	855.8.7	指令周期	855.8.8	另一个例子	885.8.9	可重用性	895.9	章末材料	895.1	练习	90
第6章	计算机网络和因特网		936.1	引言	936.1.1	网络	936.1.2	因特网	946.1.3	硬件和软件	966.1.4	协议分层	966.1.5	TCP/IP协议族	986.2	应用层	1006.2.1	提供服务	1016.2.2	应用层模式	1016.2.3	标准化客户机-服务器应用	1026.2.4	文件传输协议	1056.2.5	电子邮件	1056.2.6	TELNET	1066.2.7	安全外壳	1076.2.8	域名系统	1076.2.9	端到端模式	1096.3	传输层	1106.3.1	传输层服务	1106.3.2	传输层协议	1126.4	网络层	1136.4.1	网络层提供的服务	1136.4.2	网络层协议	1156.5	数据链路层	1176.5.1	节点和链接	1176.5.2	局域网	1186.5.3	广域网	1206.6	物理层	1236.6.1	数据和信号	1236.6.2	数字化传输	1246.6.3	模拟传输	1256.7	传输介质	1266.7.1	导向介质	1266.7.2	非导向介质：无线	1276.8	章末材料	1286.9	练习	129
第7章	操作系统		1317.1	引言	1317.1.1	操作系统	1317.1.2	自举过程	1327.2	演化	1327.2.1	批处理系统	1327.2.2	分时系统	1327.2.3	个人系统	1337.2.4	并行系统	1337.2.5	分布式系统	1337.2.6	实时系统	1337.3	组成部分	1337.3.1	用户界面	1347.3.2	内存管理器	1347.3.3	进程管理器	1367.3.4	文件管理器	1417.4	主流操作系统	1417.4.1	UNIX	1417.4.2	Linux	1427.4.3	Windows	1437.5	章末材料	1447.6	练习	145
第8章	算法		1478.1	概念	1478.1.1	非正式定义	1478.1.2	定义动作	1488.1.3	细化	1488.1.4	泛化	1498.2	三种结构	1508.2.1	顺序	1508.2.2	判断	1508.2.3	循环	1508.3	算法的表示	1508.3.1	UML	1508.3.2	伪代码	1508.4	更正式的定义	1538.4.1	定义良好	1538.4.2	明确步骤	1538.4.3	产生结果	1538.4.4	在有限的时间内终止	1538.5	基本算法	1538.5.1	求和	1538.5.2	乘积	1548.5.3	**和最小	1548.5.4	排序	1548.5.5	查找	1588.6	子算法	1598.7	递归	1608.7.1	迭代的定义	1608.7.2	递归的定义	1608.8	章末材料	1628.9	练习	163
第9章	程序设计语言		1669.1	演化	1669.1.1	机器语言	1669.1.2	汇编语言	1679.1.3	高级语言	1679.2	翻译	1689.2.1	编译	1689.2.2	解释	1689.2.3	翻译过程	1699.3	编程模式	1699.3.1	过程式模式	1709.3.2	面向对象模式	1729.3.3	函数式模式	1739.3.4	说明式模式	1759.4	共同概念	1759.4.1	标识符	1759.4.2	数据类型	1759.4.3	语句	1789.5	章末材料	1839.6	练习	183
第10章	软件工程		18610.1	软件生命周期	18610.2	分析阶段	18710.2.1	面向过程分析	18710.2.2	面向对象分析	18910.3	设计阶段	18910.3.1	面向过程设计	18910.3.2	面向对象设计	19010.4	实现阶段	19010.4.1	语言的选择	19010.4.2	软件质量	19110.5	测试阶段	19210.5.1	白盒测试	19210.5.2	黑盒测试	19310.6	文档	19410.6.1	用户文档	19410.6.2	系统文档	19410.6.3	技术文档	19410.7	章末材料	19410.8	练习	195
第11章	数据结构		19711.1	数组	19711.1.1	数组名与元素名	19811.1.2	多维数组	19911.1.3	存储配置	19911.1.4	数组操作	20011.1.5	数组的应用	20111.2	记录	20111.2.1	记录名与域名	20211.2.2	记录与数组的比较	20211.2.3	记录数组	20211.2.4	数组与记录数组	20311.3	链表	20311.3.1	数组与链表	20311.3.2	链表名与节点名	20411.3.3	链表操作	20511.3.4	链表的应用	21111.4	章末材料	21211.5	练习	212
第12章	抽象数据类型		21412.1	背景	21412.1.1	简单抽象数据类型	21412.1.2	复杂抽象数据类型	21512.1.3	定义	21512.1.4	抽象数据类型的模型	21512.1.5	实现	21512.2	栈	21612.2.1	栈的操作	21612.2.2	栈的抽象数据类型	21712.2.3	栈的应用	21712.2.4	栈的实现	21912.3	队列	22012.3.1	队列的操作	22012.3.2	队列抽象数据类型	22112.3.3	队列的应用	22112.3.4	队列的实现	22112.4	广义线性表	22212.4.1	广义线性表的操作	22312.4.2	广义线性表的抽象数据类型	22312.4.3	广义线性表的应用	22412.4.4	广义线性表的实现	22612.5	树	22712.5.1	二叉树	22812.5.2	二叉树的操作	22812.5.3	二叉树的应用	23012.5.4	二叉树的实现	23012.5.5	二叉搜索树	23012.5.6	二叉搜索树的抽象数据类型	23112.5.7	二叉搜索树的实现	23112.6	图	23212.7	章末材料	23212.8	练习	233第13章	文件结构		23513.1	引言	23513.2	顺序存取	23513.1.2	随机存取	23613.2	顺序文件	23613.3	索引文件	23713.4	散列文件	23813.4.1	散列方法	23913.4.2	冲突	24013.5	目录	24213.6	文本文件与二进制文件	24313.6.1	文本文件	24313.6.2	二进制文件	24413.7	章末材料	24413.8	练习	245第14章	数据库		24714.1	引言	24714.1.1	定义	24714.1.2	数据库的优点	24714.1.3	数据库管理系统	24814.2	数据库体系结构	24914.2.1	内层	24914.2.2	概念层	24914.2.3	外层一	24914.3	数据库模型	24914.3.1	层次模型	24914.3.2	网状模型	24914.3.3	关系模型	25014.4	关系数据库模型	25014.5	关系的操作	25114.5.1	结构化查询语言	25114.5.2	插入	25114.5.3	删除	25114.5.4	更新	25214.5.5	选择	25214.5.6	投影	25314.5.7	连接	25314.5.8	并	25414.5.9	交	25414.5.10	差	25414.6	数据库设计	25514.6.1	实体关系模型	25614.6.2	从ER图至0关系	25614.6.3	规范化	25714.7	其他数据库模型	25814.8	章末材料	25914.9	练习	260第15章	数据压缩		26315.1	引言	26315.2	无损压缩	26315.2.1	游程长度编码	26415.2.2	赫夫曼编码	26515.2.3	LempelZiv编码	26615.3	有损压缩方法	27015.3.1	图像压缩：JPEG	27015.3.2	视频压缩：MPEG	27215.3.3	音频压缩	27315.4	章末材料	27415.5	练习	274第16章	安全		27716.1	引言	27716.1.1	安全目标	27716.1.2	攻击	27816.1.3	服务和技术	27916.2	机密性	28016.2.1	对称密钥密码术	28016.2.2	非对称密钥密码术	28516.3	其他安全服务	28916.3.1	消息完整性	28916.3.2	消息验证	29016.3.3	数字签名	29116.3.4	实体验证	29416.3.5	密钥管理	29616.4	防火墙	29916.4.1	包过滤防火墙	29916.4.2	代理防火墙	30016.5	章末材料	30116.6	练习	301第17章	计算理论		30417.1	引言	304?17.2	简单语言	30417.2.1	递增语句	30417.2.2	递减语句	30517.2.3	循环语句	30517.2.4	简单语言的威力	30517.3	图灵机	30717.3.1	图灵机组成部件	30717.3.2	对简单语言的模拟	30917.3.3	邱奇一图灵论题	31117.4	歌德尔数	31217.4.1	表示一个程序	31217.4.2	翻译一个数字	31317.5	停机问题	31317.6	问题的复杂度	31417.6.1	不可解问题	31517.6.2	可解问题	31517.7	章末材料	31617.8	练习	316第18章	人工智能		31918.1	引言	31918.1.1	什么是人工智能	31918.1.2	人工智能简史	31918.1.3	图灵测试	31918.1.4	智能体	32018.1.5	编程语言	32018.2	知识表示	32018.2.1	语义网	32118.2.2	框架	32118.2.3	谓词逻辑	32218.2.4	基于规则的系统	32618.3	专家系统	32718.3.1	抽取知识	32718.3.2	抽取事实	32718.3.3	体系结构	32718.4	感知	32818.4.1	图像处理	32918.4.2	语言理解	33118.5	搜索	33218.6	神经网络	33518.6.1	生物神经元	33518.6.2	感知器	33618.6.3	多层网络	33718.6.4	应用	33718.7	章末材料	33718.8	练习	338附录AUnicode			341
附录BUML			345
附录C伪代码			353
附录D结构图			356
附录E布尔代数和逻辑电路			359
附录FC、C++和Java程序示例			372
附录G数学知识			379
附录H误差检测和校正			386
缩略语			397
术语表			400