计算机科学概论

计算机科学概论（第13版）

• Skill 版本：v1
• 类别：计算机科学导论类

评级结论：经典原理

信息浓度：高——全书讲的是”为什么”而非”怎么做”：算法与哥德尔不完备性定理的关系、 抽象作为控制复杂性的核心手段、布尔运算如何通过门电路组合成触发器、二进制补码为何能统一 表示正负数、算法与可计算性的边界（丘奇-图灵论题）等，都是原理性阐述，附带大量历史脉络 和”为什么这样设计”的推理过程，而非工具操作步骤。

稳定性：高——核心内容（布尔逻辑、位存储原理、算法复杂度分析、计算理论、抽象方法论） 是计算机科学的奠基性原理，历经 13 个版本仍然成立，不因具体工具/语言版本更新而过时。书中 虽提及 SSD、蓝光光盘、Python 等具体技术作为例证，但这些只是原理的应用示例，不影响全书作为 经典教材的整体定位。

实践卡进度

序号	实践标题	实践方式	状态	关联章节	产出
1	实测浮点求和顺序如何影响最终精度	真实任务	done	浮点表示相关章节	求和顺序误差对照表
2	构造并解除一次满足死锁三个必要条件的真实死锁	真实任务	done	死锁相关章节	死锁复现与修复后运行记录

类别清单核对

维度	覆盖状态	关联卡片标题或未覆盖理由
算法的本质与地位	已覆盖	算法程序软件硬件的关系（ch00）；算法正式定义的四个要素、算法是抽象的与其表示相互独立（ch05）
数据表示与编码基础	已覆盖	布尔运算与逻辑门、ASCII的局限与Unicode加UTF8的解法、二进制补码统一加减法电路等（ch01）
计算机体系结构总览	已覆盖	CPU三大部件与总线协作、存储程序概念、RISC与CISC的设计哲学分歧、机器周期（ch02）
操作系统核心职责	已覆盖	多道程序设计靠中断制造并发假象、信号量与临界区解决竞态条件、死锁的三个必要条件、特权级别（ch03）
网络与因特网分层模型	已覆盖	网络分层模型应用层到链路层的分组交换、TCP与UDP、IP地址与域名系统的分层编址（ch04）
程序设计语言范式全景	已覆盖	四大程序设计范型的核心区别、编译器与解释器的本质差异（ch06）
软件工程方法论概览	已覆盖	瀑布模型与增量迭代模型的对立、耦合与内聚、白盒测试与黑盒测试（ch07）
数据组织抽象层次	已覆盖	数据结构本质是对线性存储器的抽象模拟（ch08）；数据库通过多维链接超越平面文件的单一视角、关系分解的取舍（ch09）
计算的边界	已覆盖	可计算与不可计算函数的边界、停机问题的不可判定性证明、P类问题、NP问题与NP完全问题（ch12）
计算机科学的社会影响	已覆盖	机器能力增长不等于任务该交给机器（ch11，围绕魏泽鲍姆对人工智能应用边界的伦理立场）

章节进度追踪表

章节号	章节标题	精读/略读	状态	卡片数
qz03	内容提要	略读	done	0
qz05	前言	略读	done	0
qz06	本书与AP®计算机科学原理课程框架之间的关联	略读	done	0
ch00	第0章 绪论	精读	done	4
ch01	第1章 数据存储	精读	done	14
ch02	第2章 数据操控	精读	done	13
ch03	第3章 操作系统	精读	done	9
ch04	第4章 组网及因特网	精读	done	14
ch05	第5章 算法	精读	done	10
ch06	第6章 程序设计语言	精读	done	11
ch07	第7章 软件工程	精读	done	9
ch08	第8章 数据抽象	精读	done	9
ch09	第9章 数据库系统	精读	done	9
ch10	第10章 计算机图形学	精读	done	9
ch11	第11章 人工智能	精读	done	12
ch12	第12章 计算理论	精读	done	10
appA	附录A ASCII码	略读	done	0
appB	附录B 用于处理二进制补码表示的电路	精读	done	1
appC	附录C Vole：一种简单的机器语言	精读	done	0（指令编码细节已被第2章卡片覆盖）
appD	附录D 高级程序设计语言	略读	done	0
appE	附录E 迭代结构与递归结构的等价性	精读	done	1
appF	索引	略读	done	0

待关联术语

术语名	出现章节	一句话语境
校验和（checksum）	ch01	奇偶校验位概念的扩展，用于检测长位串错误，书中未展开算法细节
循环冗余校验（CRC）	ch01	同上，与校验和并列提及但未展开

引用文献

标题	类型	出现章节	一句话语境