写点什么

SICP 习题解答 1.10

用户头像
十元
关注
发布于: 2021 年 03 月 07 日

Exercise 1.10.  The following procedure computes a mathematical function called Ackermann's function.

(define (A x y)  (cond ((= y 0) 0)        ((= x 0) (* 2 y))        ((= y 1) 2)        (else (A (- x 1)                 (A x (- y 1))))))
复制代码


What are the values of the following expressions?

(A 1 10)(A 2 4)(A 3 3)
复制代码


Consider the following procedures, where A is the procedure defined above:

(define (f n) (A 0 n))
(define (g n) (A 1 n))
(define (h n) (A 2 n))
(define (k n) (* 5 n n))
复制代码

Give concise mathematical definitions for the functions computed by the procedures f, g, and h for positive integer values of n. For example, (k n) computes.


我的答案:

(A 1 10)  ; 1024
(A 2 4); 65536
(A 3 3); 65536
复制代码


数学定义,归纳法


1

2

3


用户头像

十元

关注

还未添加个人签名 2018.09.26 加入

这人眼高手低 夸夸其谈

评论

发布
暂无评论
SICP 习题解答 1.10