计算机程序的构造和解释（SICP） Lec3a 的个人心得

VIP文章 于 2020-11-12 15:26:14 发布
阅读量503 收藏 1
点赞数
分类专栏： 计算机程序构造和解释
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/Changed117/article/details/109643737
版权

上节课讲了关于序对的构建使用（cons），闭包以及过程和参数抽象的思考
https://blog.csdn.net/Changed117/article/details/109494109
视频地址
https://www.bilibili.com/video/BV1Xx41117tr
通过序对创建一个坐标向量
在这里插入图片描述

注意这里的参数和上次的略微不同，不再传入两个参数，而是一个序对（cons），他们没有什么不同。
根据闭包的定义，序对可以非常随意的自由组合，例如一个向量（两个坐标组合）
在这里插入图片描述
又或者更加随意的组合，比如我们要组合1234，有很多种组合方式
在这里插入图片描述
因此lisp中产生了某种约定，将序对组合成序对链来组合表示数据（类似单向链表的结构）
在这里插入图片描述
这是他的构造方式
在这里插入图片描述
这样就可以用CAR和CDR取出链表中的数据
在这里插入图片描述
使用CDR来取出表中的剩余数据，他表示的就是第一个序对的CDR部分所代表的数据
在这里插入图片描述
那么在表中如果我们想定义一个通用的处理过程。将表中所有的元素全部10，结果应该是这样的
在这里插入图片描述
该如何定义这个过程呢？如果使用递归策略，不停地缩放表，将取出的CAR部分10再创建一个新表，把处理过的数据用定义序对的方式加入新的序对，处理到表尾的时候返回表末指针。过程是这样的,注意看这个过程
在这里插入图片描述
将s表缩放l倍，首先判断这个表是不是空表，空表返回表末指针，然后创建一个序对，接收表的car部分将他乘l，然后下面的过程递归调用，用表的cdr部分（也就像上面说的剩下的部分的集合）拿去继续缩放l倍，继续组合就获得了一个缩放后的表。这里创建了一个新表，并不是原来的那个表了。
既然可以这样实现的话，那就不能止步于乘，有一个通用过程MAP
在这里插入图片描述
传入l为表，p为过程两个参数，和上面的处理方式一样，新建一个表，将所有的car部分经过p过程处理然后组合在一起。

使用MAP来处理（1.2.3.4）*10的方法就是在这里插入图片描述
如果掌握了这种通用模式。而不是一种针对特定解决的模式，你就会发现共性。你只要给出一个处理过程&

最低0.47元/天 解锁文章
海盐饼干
关注
  • 0
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
[计算机程序的构造和解释].(中文版）.清晰版
02-04
声明：本版权归原著者所有，请勿用于商业用途！仅供参考！
关于《计算机程序的构造和解释》
weixin_33795806的博客
12-25 703
关于《计算机程序的构造和解释》 来源 http://www.nowamagic.net/librarys/veda/detail/1905   先谈谈关于《计算机程序的构造和解释》（后面简称为SICP）的几个八卦。 本书曾经是MIT本科第一门课的教材。前两年被Python取代，在geek中引发了轩然大波。有兴趣可以Google一下[sicp mit python]。 本书在Amazon上的评分严...
计算机程序的构造和解释
...
02-15 216
      创建一个有理数 (define (make-rat n d) (cons n d))      #定义一个分数 (define (number x) (car x))                 #number获取一个分数的分子部分 (define (denom x) (cdr x))                  #denom获取一个分数的分母部分   打...
计算机程序的构造和解释（Structure and Interpretation of Computer Programs）
RayoNicks的博客
06-14 2735
本科毕设的时候林老师推荐过这本书，但是当时看目录就不知所云。这本书是18年9月刚读研究生的时候买的，只是一直没看，连塑封都没拆开。今年因为疫情的原因没有上学，大概从3月份开始，花了3个多月的时间仔细读了一遍，不得不说这书确实是一片新天地，尤其是当你写了很多年的命令式。 第一章是构造过程抽象，印象最深的就是用一种通用的过程来实现对一组聚合元素的操作，应该是模板和泛型的概念。另外如果觉得这括号太蛋疼，一定是因为没有看视频教程。 第二章是构造数据抽象，感觉和面向对象是一个概念，通过实现有理数类和复数类，将Lisp
《计算机程序的构造和解释》
lddongyu
04-16 1435
最近好几位牛人都提及这本书。要是不太难懂，什么时候咱也看看……
北京大学，计算机程序构造和解释（SICP）课件，裘宗燕老师主讲
05-10
北京大学数学学院《计算机程序构造和解释》课程课件，主讲老师裘宗燕，也是该书译者。
reading-sicp:《计算机程序的构造和解释》(SICP) 解题集
05-03
书籍使用《计算机程序的构造和解释》。在线英文版，排版更好的英文版。 使用 开发环境，来测试编写 Scheme 代码。 我最初设想使用 Lua 完成书中代码和习题。Lua 和 Scheme 有点相似，而我也更熟悉 Lua 语言。 第 1 ...
SICP 计算机程序的构造与解释
06-15
SICP绝对好书 需要学习scheme等知识，配合https://mitpress.mit.edu/sites/default/files/sicp/index.html英文原版阅读更佳
SICP:计算机程序的结构和解释
04-18
SICP-计算机程序的结构和解释 材料 运动方案 谢尔盖·亨金（Sergey Khenking）（俄语） 向导书
SICP-Answers:计算机程序的结构和解释
05-17
SICP-答案计算机程序的结构和解释 这个项目包含了我对本书中这些问题的答案。其中一些来自的作品，请参见
计算机程序构造与解释答案（周银辉）
01-11
1，过程作为返回值 在1.3中我们明白了高阶函数之后，“用一个过程作为另外一个过程的返回值”则是稀松平常的事情了，比如下面的代码： (define (f x) (+ x 1)) (define (g) f) ((g) 2) 函数g没有参数，其返回值为函数f，所以((g) 2)就运算结果就是(f 2)，最后运算结果为3。 上面是用一个已命名的函数作为返回结果的，相应的，也可以将一个“匿名过程”作为结果返回，这里的“匿名过程”也就是我们的Lambda表达式，所以上面的代码可以改造成： (define (g) (lambda (x) (+ x 1))) ((g) 2) 那么((g) 2)的运算结果就是((lambda (x) (+ x 1)) 2)，最后运算结果为3。 2，牛顿法 学到这里，你可能需要复习一下高等数学的基本内容，包括“导数”和“微分”，高数的在线教材可以在这里找到：http://sxyd.sdut.edu.cn/gaoshu1/index.htm 关于牛顿法的介绍可以看这里：http://en.wikipedia.org/wiki/Newton%27s_method ，下面是程序： (define (close-enough? v1 v2) (< (abs (- v1 v2)) 0.000000001)) ;定义不动点函数 (define (fixed-point f first-guess) (define (try guess step-count) (let ((next (f guess))) (if (close-enough? guess next) next (try next (+ step-count 1))))) (try first-guess 0)) ;定义导数函数 (define (D f) (lambda (x dx) (/ (- (f (+ x dx)) (f x)) dx))) ;牛顿法 (define (newton g first-guess) (fixed-point (lambda (x) (- x (/ (g x) ((D g) x 0.000000001)))) first-guess)) ;平方 (define (square x) (* x x)) ;定义开方，来测试下牛顿法 (define (sq x) (newton (lambda (y) (- (square y) x)) 1.0)) (sq 5) 3，“一等公民” 这里列出了程序语言中作为“一等公民”的语言元素所具备的几个“特权”： 可以用变量命名 可以作为过程参数 可以作为过程返回结果 可以被包含在数据结构中 4，练习1.40 求三次方程 x^3 + ax^2 + bx + c 的零点。 首先，证明 函数f(x) = x^3 + ax^2 + bx + c 是“可微”的： 由可导和可微的性质知道，可导和可微互为充要条件，所以，要证可微我们可以先证可导， f ’ (x) = (x^3)’ + (ax^2)’ + (bx)’ + (c)’ = 3x^2 + 2ax + b 所以f(x)的导数存在，那么f(x)可导，其必定可微。 其次，利用“牛顿法”：如果f(x)是可微函数，那么f(x)=0的一个解就是函数(x – f(x)/df(x)的一个不动点，其中df(x)是f(x)的导数。所以我们可以轻松得到下面的代码： (define (close-enough? v1 v2) (< (abs (- v1 v2)) 0.000000001)) ;定义不动点函数 (define (fixed-point f first-guess) (define (try guess step-count) (let ((next (f guess))) (if (close-enough? guess next) next (try next (+ step-count 1))))) (try first-guess 0)) ;定义导数函数 (define (D f) (lambda (x dx) (/ (- (f (+ x dx)) (f x)) dx))) ;牛顿法 (define (newton g first-guess) (fixed-point (lambda (x) (- x (/ (g x) ((D g) x 0.000000001)))) first-guess)) ;定义cubic函数，也就是我们题目中所谓的f(x) (define (cubic a b c) (lambda (x) (+ (* x x x) (* a x x) (* b x) c))) ;随便定义几个系数 (define a 3) (define b 5) (define c 8) (define result (newton (cubic a b c) 1.0)) ;定义一个验证过程，让其验证得到的解，是否让方程成立 (define (validate x) (= 0 (+ (* x x x) (* a x x) (* b x) c))) ;输出结果 result ;验证结果 (validate result) 比如上面我们计算 x^3 + 3x^2 + 5x + 8 = 0, 其一个解为：-2.3282688556686084 .....
SICP－计算机程序的构造和解释
weixin_33737134的博客
01-08 614
计算机程序的构造和解释（原书第2版） 【原书名】 Structure and Interpretation of Computer Programs,Second Edition 【原出版社】 Massachusetts Institute of Technology  【作者】 （美）Harold Abelson,Gerald Jay Sussman,Julie Sussman  【译者】 裘...
计算机程序的构造和解释（SICP） 笔记
04-24 399
第一章 1、任何强有力的语言都包括以下三点： 基本的表达形式 组合的方法 抽象的方法 2、程序设计需要处理的两类要素：过程（操作数据的规则描述）、...
计算机程序的构造与解释(SICP)
zzljlu的专栏
03-16 2446
计划用半年的时间把《计算机程序的构造与解释》这本书读完，并完成一半以上的习题。 所用的软件： 系统：windows xp 解释器：DrRacket, version 5.1 语言：SICP(PLaneT 1.13) ，如何获得该语言，请看这里。 习题答案目录： 第1章 构造过程抽象 1.1节 程序设计基本元素1.2节 过程与它们所产生的计算 第2章 构造数据抽象
计算机程序的构造和解释 2019 pdf
最新发布
07-12
《计算机程序的构造和解释》（简称SICP）是一本经典的计算机科学教材，该书由麻省理工学院的编程语言专家哈罗德·艾布尔森（Harold Abelson）和吉拉迪·塞斯曼（Gerald Jay Sussman）共同编写。它在计算机科学领域...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值