SICP习题-Church计数

最新推荐文章于 2022-06-15 12:57:25 发布
最新推荐文章于 2022-06-15 12:57:25 发布
阅读量502 收藏 1
点赞数
分类专栏： 理论知识 文章标签： 计算机 lambda Church 丘奇计数 SICP
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/sinat_28750977/article/details/75090378
版权
这篇博客探讨了SICP中的一个习题，涉及Church计数方法来表示非负整数。作者介绍了如何用λ演算表示0、加一操作，并给出了one和two的定义，以及加法过程+的直接定义，不依赖于add-1。文章最后通过测试验证了这些定义的正确性。
摘要由CSDN通过智能技术生成

本题目来自SICP（计算机程序构造和解释）一书中的习题，原题如下：

练习2.6 如果觉得将序对表示为过程还不足以令人如雷灌顶，那么请考虑，在一个可以对过程做各种操作的语言里，我们完全可以没有数（至少在只考虑非负整数的情况下），可以将0和加一操作实现为：

(define zero (lambda (f) (lambda (x) x)))
(define (add-1 n)
    (lambda (f) (lambda
最低0.47元/天 解锁文章
低水平计算机学狗
关注
专栏目录
SICP中丘奇计数的理解
qq_30080173的博客
01-17 431
数字有意义吗?如果有意义他的意义是什么? 从原始时期的时候人们就开始对数有了认识. 放羊的表示我养的一只羊可以代表数字1 烙饼的表示我做的一张饼可以代表数字1 计算机科学家表示我写的函数被调用一次可以表示数字1 我们就用这个概念来表示一下数字.来体会一下万物皆是函数的概念. 首先规定参数可以是任意类型 我们首先对0这个数字进行定义 (define  (zero f) (lamb
sicp-py-zh:[译] UCB CS61a SICP Python 描述 中文版
05-29
UCB CS61a SICP Python 描述 原文： 译者： 协议： 前面是山，我们就爬山；前面是海，我们就渡海；前面是皇宫，我们就开炮！——《龙族前传》 ‍ 下载 Docker docker pull apachecn0/sicp-py-zh docker run -tid -p ...
Church计数
weixin_30895603的博客
11-21 108
my code： 1 ;Church计数 2 3 (define zero (lambda (f) (lambda (x) x))) 4 (define (add-1 n) (lambda (f) (lambda (x) (f ((n f) x))))) 5 (define (show-num n)((n (lambda (x) (+ 1 x))) 0)) 6 (define (a...
church计数
我去
05-15 1282
正如书中写的一样(“还不足以令人如雷灌顶是吧？！！”)，看到完全没有数实现加一和0的定义，着实吓了一跳。 当然了，既然你不走寻常路，那我也不能在一棵树上吊死，你说不用数字，那至少得体现数的概念吧？多少个苹果是数，函数迭代多少次也是数（哈哈，其实是从书上的代码看出点端倪，然后顺藤摸瓜推出来的）。 嗯哼，揭晓答案：这里的数n对应的是f迭代n次，如果n是0，n对应的就是自变量。(define zero
一个有趣的小知识-church计数
weixin_30367169的博客
10-06 162
(define zero (lambda(f) (lambda(x)x))) (define (add-1 n) (lambda(f)(lambda(x)(f((n f)x))))) 转载于:https://www.cnblogs.com/luozhonghao/p/9748208.html
sicp-py-zh：【译】UCB CS61a SICP Python
02-05
《SICP Python》是基于加州大学伯克利分校（UCB）计算机科学61A课程（CS61A）的“Structure and Interpretation of Computer Programs”（SICP）的经典教材的Python语言版本。SICP是一本极具影响力的计算机科学教科...
sicp-eg-ex：sicp课程视频示例，自己的笔记，习题题解
02-07
本文将围绕"Sicp-eg-ex"这个项目，结合标题和描述，探讨在学习SICP过程中遇到的例子、笔记和习题解，特别是环境检查方案9.5的相关知识点。 首先，我们关注到的是"SICP课程视频示例"。SICP课程的核心在于通过实际的...
sicp-study-group
04-17
CoRecursive Slack SICP研究小组 章节 1-1-1 ::表达式 1-1-2 ::命名与环境 1-1-3 ::评估组合 1-1-4 ::复合程序 1-1-5 ::程序应用的替代模型 1-1-6 ::条件表达式和谓词 1-1-7 ::例子：牛顿法求平方根 1-1-8 :...
SICP学习笔记——丘奇计数与“数”的本质【脑洞大开】
Now is better than never
11-17 804
丘奇计数与“数”的本质 学习SICP有一段时间了，对Lambda表达式以及过程为参数等特性的强大并没有概念，直到看到习题2.6中提到的丘奇计数（Church counting），才有种脑洞大开，恍然大悟的赶脚，便迫不及待的和大家分享一下——尼玛，原来“数”还可以这样玩！ 首先，题目抛砖引玉，丢出了两个定义，一个是0的定义：   (define zero (lambda (f)(l...
SICP习题解答2.23
weixin_30326515的博客
08-02 128
(define (for-each proc items) (cond ((not (null? items)) (proc (car items)) (for-each proc (cdr items))))) 转载于:https://www.cnblogs.com/science/archive/2007/01/09/616114.html...
计算机组成原理
weixin_43912188的博客
08-13 4011
第一章 概述 1、根据Church–Turing理论， • 任何一台具有最基本功能的计算机，原则上都 能够执行任何其他计算机可以执行的任务 • 只要不考虑时间和存储容量，性能和复杂度均 相差甚远的各种计算机，都能够执行相同的运 算任务 2、存储程序体系结构（Stored-Program Architecture） • 给计算机一个指令序列（即程序），计算机会存储它们 ，并在未来的某个时间里，从计算机存储器中读出，依 照程序给定的顺序执行它们 • 现代计算机区别于其他机器的主要特征，就在于这种可编程能力 •
算法之过程计数（丘奇）
Once_day的回忆
06-15 224
author：onceday date：2022年6月15日，以及为使这些过程成为一套合法表示，它们就必须满足的一组特定条件。目前有两种方法来形式化它：一个较为明显的例子是序对的过程性表示。
Alonzo Church的λ演算（摘自彭罗斯《皇帝新脑》）
Utensil的专栏
08-28 6728
可计算性的概念是一个非常重要和美丽的数学观念。它又是相当近代的，具有这样基本性质的事体进入数学的王国是本世纪三十年代的事。这个观念已经渗透到数学的所有领域中去（虽然这一点确实是真的，但是大多数数学家通常不去忧虑可计算性的问题）。该观念的威力有一部分来自于这一个事实，即数学中一些定义得很好的运算实际上不是可计算的（例如图灵机的停机问题；第四章还可以看到其他例子）。因为如果不存在这种不可计算的事体
丘奇编码计数(Chruch Encoding)的易懂理解
pursue_my_life的博客
02-13 2083
一. Chruch Encoding为了解决什么问题?? lambda y.x*2 lambda 中的自然数 2 无法表示如何解决?? 为此，就有了Church Encoding 二. Church Encodeing 简介 是 Church 发明的一种用 λ\lambdaλ expression 表示自然数的方法 通过函数的嵌套层数来表示 三. 本质 f(x) 嵌套0次: x, ...
SICP 习题2.6之丘奇数
taylor的专栏
05-01 2998
最近一直在阅读《SICP》，然后下午做其中的习题2.6，对其题意很不理解，于是搜索了相关资料，不禁如题设所说感到如雷灌顶，特此记录下来，以供大家阅读和交流题目 如果觉得将序对表示最为过程还不足以令人如雷灌顶，那么请考虑，在一个可以对程序做各类操作的语言中，我们完全可以没有数（至少在只考虑非整数的情况下），可以将0和加一操作实现为：(define zero (lambda (f) (lambda (x
毕业设计论文SpringBoot社区老人健康信息管理系统.docx
10-17
毕业设计论文
TEAM-NAVI-Requirements Specification Document
10-17
TEAM_NAVI_Requirements Specification Document
分析流体动力学中的混沌系统-解决混沌系统问题python源码+项目说明（课程作业）.zip
最新发布
10-17
1.多数小白下载后，在使用过程，可能会遇到些小问题，若自己解决不了，请及时私信描述你的问题，我会第一时间提供帮助，也可以远程指导 2.项目代码完整可靠，谈不上高分、满分(多数为夸大其词），但难度适中，满足一些毕设、课设要求，且属于易上手的优质项目，项目内基本都有说明文档，按照操作即可，遇到困难也可私信交流 3.适用人群：各大计算机相关专业行业的在校学生、高校老师、公司程序员等下载使用 4.特别是那种爱钻研学习的学霸，强烈推荐此项目，可以二次开发提升自己。如果确定自己是学渣，拿来作毕设、课设直接用也无妨，但建议自己还是尽可能弄懂项目最好！ 项目名字和项目路径不要用中文，建议解压重命名为英文名字后再运行！项目易上手运行
sicp 2.29练习题
06-01
SICP 2.29节的练习题有两道： 1. 请用 unordered-list 实现集合，用 ordered-list 实现集合，并比较它们在插入、删除和查找操作上的性能差异。 2. 请实现一个用 unordered-list 表示集合的函数 `union-set`，它...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值