腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
2
回答
如何
减少
这个
lambda
演算表达式?
、
、
如何
减少
这个
lambda
演算表达式?我试图用所给的定义将
lambda
微积分
的不假简化为真:FALSE = (λx.λy.y) TRUE = (λx.λy.x)
浏览 8
提问于2022-01-13
得票数 0
回答已采纳
1
回答
lambda
微积分
中的Eta抽象是用来做什么的?
lambda
微积分
中的Eta抽象表示如下。 这仅仅是写某些表达的另一种方式吗?
浏览 7
提问于2016-11-15
得票数 3
2
回答
为了证明SKK和II是beta等价的,
lambda
演算
、
、
、
、
我是
lambda
微积分
的新手,正在努力证明以下几点。S=λxyz.xz(yz) K=λxy.xi i=λx.x 我试着通过打开SKK来
减少
它的测试版,但是一无所获,它变得很混乱。不要认为SKK可以在不扩展S,K的情况下进一步
减少
。
浏览 5
提问于2011-04-26
得票数 3
回答已采纳
2
回答
Lambda
演算约简/求值表达式
、
我正在读这些关于λ
微积分
的,我在开始的时候遇到了一些问题,比如
减少
/计算其中一个表达式。我到底该如何开始呢?他说答案是625。我的数学直觉告诉我,我们是这样进行的:(λf.λx.f( f(x) (5^2),他之前说过f(X)是地图所以f(f(x))是这样的组合:f o f= (f)^2 = x^4(λf.λx.x^4))(5^2) 然后我们将25插入x^4,得到25*25*2
浏览 0
提问于2016-04-09
得票数 1
4
回答
将Python转换为Haskell /
Lambda
微积分
、
、
、
Haskell和
Lambda
演算中的Python代码是什么?def f1(): def f2(): f2我在
lambda
微积分
方面的尝试 \x. 77 (\x.x)
浏览 10
提问于2009-11-28
得票数 1
回答已采纳
1
回答
λ演算中的量词
、
、
、
我正在学习
lambda
微积分
,但是我对
lambda
微积分
中的量词很困惑。据我所知,像"∃“这样的量词是一阶逻辑(FOL)的概念,而
lambda
演算并不需要这些概念。然而,我发现 (
Lambda
依赖项-基于组合语义),在第一页中,作者在
lambda
演算中使用了量词。那么,在
lambda
微积分
中使用量词吗?如果是的话,那是什么意思呢?跟FOL一样吗?
浏览 5
提问于2016-10-19
得票数 0
回答已采纳
2
回答
它的意思是,
lambda
微积分
相当于图灵机。
、
、
、
、
我试图把我的注意力集中在
lambda
微积分
上,以及它与语言、编译器和二进制代码之间的关系。它实际上意味着
lambda
微积分
相当于图灵机,它在哪里真正表现出来呢?我不明白
lambda
微积分
如何能取代图灵机作为计算的理论模型。图灵机是关于改变状态的顺序指令,
lambda
演算是关于对某物进行计算的表达式。或者这样说吧:
lambda
微积分
就像路线图,图灵机就像汽车模型。这两者如何被认为是等同的呢?有没有可能在不实现图灵机的情况下在硬件上运行
浏览 5
提问于2017-05-07
得票数 12
2
回答
lambda
微积分
-如果需要更多的参数
、
、
Lambda
微积分
问题:FALSE =
lambda
x y . y2 =
lambda
s z . s (sBoolAnd =
lambda
x y . x y FALSEBoolNot =
lambda
x . x FALSE TRUE IfI want to know the
浏览 0
提问于2016-09-06
得票数 0
回答已采纳
2
回答
lambda
微积分
和编程语言之间的关系是什么?
、
、
我尝试过搜索,但我发现的大多数假设都是关于λ
微积分
的知识。为什么人们认为
lambda
微积分
比单变量
微积分
在编程中更有用?
lambda
表达式和函数程序之间有关系吗?是阿隆佐·丘奇在λ
微积分
方面的工作影响了编程语言的发展吗? 学校外的每个人都在不停地讨论这个问题,我不知道他们会说些什么,尽管我渴望学习它,看看它与我的编程和对编程语言的理解有什么直接的关系。
浏览 0
提问于2014-10-18
得票数 14
回答已采纳
1
回答
函数的
Lambda
微积分
约简
我对
lambda
微积分
非常陌生,在我读教程的时候,我发现了这一点。这是我的方程式。Y = ƛf.( ƛx.f(xx)) ( ƛx.f(xx)) 现在,如果我们应用另一个术语,假设F (YF),那么我们如何根据β缩减来
减少
this.If i是正确的,我们可以用(ƛx.f(xx))替换(
浏览 5
提问于2012-07-04
得票数 1
回答已采纳
1
回答
双星
Lambda
演算中的高尔夫球技巧
、
、
二元
Lambda
微积分
是非类型化
lambda
微积分
的二进制编码,它的创建是为了“提供一个非常简单和优雅的描述复杂性的具体定义”。 关于如何降低BLC程序/功能,有哪些建议?
浏览 0
提问于2021-05-01
得票数 8
2
回答
如何使用
lambda
实现let*
、
、
、
我正在做
lambda
微积分
,在我的教科书中,它说你将如何使用
lambda
微积分
来编写let*。我的回答是: x、y和z是参数;v1、v2和v3是参数;e是主体:书中的回答: ((
lambda
(y) v2))我不确定我的答案是否相等。
浏览 2
提问于2014-05-05
得票数 2
回答已采纳
2
回答
Lambda
微积分
β还原
、
我有以下蓝氏
微积分
:我已经
减少
了: alpha => ( x ( λyz.xz ) ( λxy.zyx
浏览 2
提问于2015-02-16
得票数 0
回答已采纳
2
回答
如何转换整数列表生成器[m .]在Haskell的
Lambda
微积分
中
、
我给出了一项任务,在
lambda
微积分
中制作整数列表生成器[m...] .因此,它应该充分地填补这个定义。因此,需要一个λ
微积分
F。我不知道如何找出哪一个λ
微积分
F应该是。有人对F有什么建议吗?
浏览 4
提问于2021-01-24
得票数 0
回答已采纳
1
回答
Lambda
微积分
帮助
所以我完全被困在了这个问题的一部分。如果有人能帮上忙那就太棒了.
浏览 0
提问于2010-11-23
得票数 0
2
回答
lambda
演算中二进制数的编码
、
、
、
在
lambda
微积分
中,我从未见过任何关于二进制数的提及。教堂数字是一元制。我在这里问过一个如何在Haskell中这样做的问题:,但即使在我看到并理解了这个答案之后,我也无法理解如何用纯非类型化的
lambda
微积分
来完成这个任务。那么,我的问题是:二进制数字是否定义在非类型化的
lambda
演算中,是否也为它们定义了后继函数和前任函数?
浏览 6
提问于2013-08-23
得票数 7
回答已采纳
2
回答
Lambda
微积分
缩减
、
、
、
我可以做简单的
Lambda
削减,然而,我不知道如何做那些获得“运行”。以下是我所不明白的两个例子: ( (
lambda
p . ( p j ) ) (
lambda
浏览 5
提问于2015-07-21
得票数 1
1
回答
β缩减和单步β缩减的区别?
、
、
我查阅了许多关于
lambda
微积分
的在线资料,寻找β缩减和单步β缩减之间的区别。但是,由于β降低和单步β
减少
之间的区别还不清楚,我感到无助。提前谢谢。
浏览 0
提问于2016-03-13
得票数 0
回答已采纳
1
回答
lambda
微积分
的实际应用
我最近开始自学
lambda
微积分
。我无法想象的一件事是,如何使用这种语言来构建实际的应用程序。我可以想到的一个简单的用例是:假设我们有一个班级多名学生的考试成绩记录。name = Jane, math=22, science = 80, english = 45我们如何用
lambda
微积分
(非类型化或简单类型化)编写一个程序来计算每个student.Please的平均考试分数--注意,我的问题不是上述文本的解析,而是实际的核
浏览 3
提问于2020-12-02
得票数 2
回答已采纳
1
回答
Lambda
微积分
方案
、
、
、
、
下面是“映射”
lambda
函数的正确方式吗?此外,
lambda
函数在形式表示法中是如何命名的?
浏览 2
提问于2021-05-14
得票数 1
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
AWS改用Lambda网络为VPC客户减少了冷启动时间
微积分的运用
莱茨狗微积分详解
6.3闫浩微积分讲座录像
Lambda闭包
热门
标签
更多标签
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM
活动推荐
运营活动
广告
关闭
领券