SICP 1.17-1.19

1.16

1 -------------> 不考虑0的情况 <------------
2 (define (fe b n)
3 
4   (define (fet m c)
5     (cond ((= m n) c)
6           ((>= (- n m) 2) (fet (+ m 2) (* c b b)))
7           (else (fet (+ m 1) (* c b)))))
8 
9   (fet 0 1))

1.17

1 (define (double x)
2   (define (db cur app)
3     (cond ((= app x) cur)
4           ((>= (- x app) 2) (db (+ cur 2) (+ app 2)))
5           (else (db (+ cur 1) (+ app 1)))))
6   (db x 0))

halve 实在不想写了...

1.18

---> 无聊

1.19

证明题我艹...

转载于:https://www.cnblogs.com/nzhl/p/5450369.html