第3讲 程序与递归：组合-抽象-构造 · 3.1.1计算系统与程序-程序的作用和本质