以概念为中心，第 1 节 “程序和编程语言”
组合规则，第 5 节 “表达式”
Least Surprise，第 3 节 “形参和实参”
充分条件与必要条件，第 4 节 “局部变量与全局变量”
布尔逻辑，第 3 节 “布尔代数”
递归，第 3 节 “递归”
函数式编程，第 1 节 “while语句”
迭代（第 6 章 循环语句）与增量式求解（第 2 节 “插入排序”）
抽象，第 2 节 “数据抽象”
数据驱动，第 5 节 “多维数组”
分而治之，第 4 节 “归并排序”
折半求解，第 6 节 “折半查找”