lt;计算机程序的构造和解释gt;第二版中文参考答案.pdfVIP

第一章:构造过程抽象 心智的活动, 除了尽力产生各种简单的认识之外,主要表现在如下三个方面: 1)将若干简单的认识组合为一个复合认识, 由此产生出各种复杂的知识. 2)将两个认识放在一起对照,不管它们如何简单或者复杂,在这样做时并不将它们合二为一. 由此得到有关它们的相互关系的认识. 3)将有关认识与那些在实际中和它们所同在的有关其它认识隔离开,这就是抽象,所有具有普 遍性的认识都是这样得到的. John Locke 有关人类理解的随笔 1690 这一章是开篇,主要介绍的是 Scheme 语言的部分语法,并且通过使用简单的语法去达到一些 不那么简单的数学问题. 注意:在第三章以前都不会用到赋值,所以并没有大家习惯中的循环,更多地通过递归来实 现. 练习: 1.1 略 1.2 略 1.3 CODEBOX (define (max a b c) (if ( a b) (if ( a c) a c) (if ( b c) b c))) 1.4 这题为读者模糊地提供了一个高阶函数的概念,还有过程和数据的统一结合. 1.5 本题的知识点是正则序和应用序的区别. 考虑 (define (p) (p)) 一旦(p)被求值,这个程序就会死掉. 在正则序中,对函数的求值是这样的: 先展开到只剩基本过程,再对其中需要求值的部分进行求值. 在应用序中,函数的求值会先对每一个参数进行求值,然后把参数的值代入函数 体中. 所以,如果对(test 0 (p))使用应用序,那么(p)就会被求值,然后死循环. 如果是正则序,那么先展开,之后做if条件判断,然后求值 0 ,因为(p) 没有需要, 所以没有求值,可以正确返回. 1.6 本题和1.5 的关注点是相同的.如果使用new-if 的话,它的三个参数都会被求值 (注意,Scheme 默认工作在应用序下).而它的第三个参数会对自己进行递归调用. 所以会死循环. 1.7 原始的good-enough?是检测两次的差的方式.对于很大的数,它的差可能根本无 法精确到good-enough?要求的精度.而对于很小的数,可能它发生了相对于自己 来说很大的改变,但是却比good-enough?要求的来得小. 用比率的方法写good-enough?是可以的,但是要注意除以0 这个问题. 1.8 略 1.2 节: 它 开始讲解递归和迭代之异同(大魔王有言迭代者为人,递归者为神).实际上, 迭代是递归的一种特殊情况,既f(x) = f(x),且f(x)比f(x)规模更小之时,递 归可以化为迭代.递归的空间是线性增长的,而迭代始终为常数.这节主要掌握的 是:函数的递归和迭代两 种写法,还有对程序的分析. 1.9 第一个是递归的. 第二个是迭代的. 1.10 略... 1.11 CODEBOX (define (f n) (if ( n 3) n (+ (f (- n 1)) (* 2 (f (- n 2))) (* 3 (f (- n 3)))))) (define (f2 n) (f2-iter 2 1 0 n)) (define (f2-iter a b c count) (if (= count 0) c (f2-iter (+ a (* 2 b) (* 3 c)) a b (- count 1)))) ;f是递归的,f2 是迭代的,其中用到了f2-iter 1.12 CODEBOX (define (combination x y) (cond ((= x y) 1) ((= y 0) 1) (else (+ (combination (- x 1) (- y 1)) (combination (- x 1) y))))) 1.13 先证明Fib(n) = (a^n + b^n) / sqrt(5); 其中 a = (1 + sqrt(5)) / 2 b = (1 - sqrt(5)) / 2 可以使用归纳法,当然也可以通过解特征根方程解出来...似乎还可以用幂级 数?(等等我去复习下离散数学) 然后发现|b / sqrt(5)| 0.5,所以命题得证. 1.14 空间线性增长 步数是指数级的.因为其本质是一个线性递归方程. 1.15 SICP 这种细节题也很有意思. a) 5 次. 我是用这个程序算的... CODEBOX (define (f x) (if ( (abs