回答情况：
提问时间：
问题标签：
1回答
下面是“映射”lambda函数的正确方式吗？此外，lambda函数在形式表示法中是如何命名的？是否有与此相对应的东西：
浏览 2提问于2021-05-14得票数 1
回答已采纳
我在试着用普鲁士和红宝石来理解蓝宝石。以下是一些代码：# => #<Proc:0x2a3beb0@C:/first-ruby.rb:1 (lambda)>
# => 3
浏览 3修改于2013-08-12得票数 0
回答已采纳
6回答
然而，我注意到一个问题是，我们的大部分注意力都集中在各种类型的微积分上。但仔细想想，从理论上讲，我可以将神经网络和遗传编程视为非基于微积分的编程模型，尽管缺乏独立的实现，但它们是近年来诞生的有趣想法(比如小于λ1930)。同样开箱即用的还有查询语言、正则表达式和基于图/树的设计，它们虽然部分是数学的，但不是微积分，这让我思考现在编程中还有哪些非演算设计是重要的，还有哪些其他领域可以为我们提供新的编程范例？**注意：**这个问题不是关于“新”的，而是关于不是来自微积分的。
浏览 1修改于2020-06-20得票数 1
回答已采纳
以下是Slonneger的“编程语言的语法和语义”中的一些内容：我假设自由变量是在λx之后的y，而界y是λy.y，我可以直观地理解它。所以((λx.yλy.yx)a)(B)会降低到(yλy.ya)b，然后降到bba？有人能解释一下这是怎么回事吗？最后，它是表达b两次。也许有人能提供更多的约束变量和自由变量的例子吗？
浏览 0提问于2013-03-02得票数 5
我有以下几点= x.(y.y+1)(x+1)我不明白为什么最后一次转换是可以的？不应该是x.(y.y+1)(x+1)= y+1吗？为什么他能摆脱y
浏览 0修改于2011-01-20得票数 2
回答已采纳
我知道这纯粹是理论/学术问题，但我感兴趣的是如何用纯lambda微积分(即没有定义任何常数)来表达不同的简单函数。
浏览 2修改于2016-10-01得票数 8
回答已采纳
我最近开始自学lambda微积分。我无法想象的一件事是，如何使用这种语言来构建实际的应用程序。我可以想到的一个简单的用例是:假设我们有一个班级多名学生的考试成绩记录。Jane, math=22, science = 80, english = 45我们如何用lambda微积分尽管我对Haskell知之甚少，但我并不是在寻找haskell实现，但对于如何在lambda-微积分中实现这一点，我感到很好奇。
诚挚的问候。
浏览 3提问于2020-12-02得票数 2
回答已采纳
1回答
我有一个关于λ微积分的哲学问题。那么，如何从计算中提取结果呢？如何证明λ-微积分处理的不仅仅是一个函数？
是否有身份的概念？你能在没有评估的情况下立即识别一个函数吗？我相信已经证明，没有方法来测试两个函数的平等。或者λ-微积分</em
浏览 0修改于2014-09-20得票数 11
回答已采纳
好的，所以我正在尝试实现。开始吧。def zero[Z](s: Z => Z)(z: Z): Z = zdef two[Z](s: Z => Z)(z: Z): Z = s(s(z))def z[Z]: (Z => Z) => (Z => Z) = zero _type FZ[Z] = Z => Z好吧，succ函数是
浏览 1提问于2016-04-22得票数 6
回答已采纳
我一遍又一遍地复习我的元组微积分。更糟糕的是，我的教授和导师在他们的工作时间里没有多大帮助。
有人知道一个学习元组微积分的好地方吗？我很难理解如何从数据库中“说”这种语言。
浏览 0修改于2011-10-27得票数 6
在“”一书中继续练习，问题如下：
假设λ-微积分字母表的符号总是0.5厘米宽。写下一个长度小于20厘米的λ项，其长度至少为(10^10)^10光年。光速c=3* (10^10)厘米/秒。
浏览 6提问于2010-06-21得票数 2
回答已采纳
7回答
我正在尝试用java实现一个神经网络(小的)，我正在使用反向传播作为学习算法。这需要找到一般的导数。如何在java中找到一般的派生工具？
浏览 4提问于2010-08-06得票数 2
1回答
我已经将安装在mathcomp/SSreflect之上。这是我的第一个引理：Lemma deriv_x2 : forall y, is_derive (fsquare) y (2 * y).我已经证明了这个引理，多亏了科奎斯特提供的auto_derive策略。Lemma d
浏览 3修改于2017-02-09得票数 4
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号