1回答
λ演算中的量词
、、、
我正在学习lambda微积分，但是我对lambda微积分中的量词很困惑。据我所知，像"∃“这样的量词是一阶逻辑(FOL)的概念，而lambda演算并不需要这些概念。此外，在我读过的任何教程中，我都没有找到任何关于量词的东西。
然而，我发现 (Lambda依赖项-基于组合语义)，在第一页中，作者在lambda演算中使用了量词。那么，在lambda微积分中使用量词吗？如果是的话，那是什么意思呢？跟FOL一样吗？
浏览 5提问于2016-10-19得票数 0
回答已采纳
我正在读一本关于C编程的初学者书，它有一些练习。这是其中之一，问题是，下面的循环会产生什么结果.{ { { }}
我的“理性”回答应该是1000，但是为
浏览 2提问于2019-04-07得票数 2
回答已采纳
2回答
然而，我在微积分系的表现并不是很好。我以前修过微积分1，因为有工作机会而不得不放弃。但是当我在里面的时候，我不得不说，像导数的链式法则之类的东西，真的很让我头疼。(尽管Discreet Math看起来确实很有趣)通过将已知的概念与未知的概念联系起来来学习似乎对我很有效，我想知道是否有什么推荐的材料可以为我不得不再次学习微积分课程时提供很好的自学补充材料。
浏览 9提问于2010-09-08得票数 7
回答已采纳
2回答
我正在努力学习lambda微积分和Scheme Lisp。关于lambda微积分的教程可以在这里找到。
我面临的问题是我不知道如何正确地实现迭代。
浏览 4提问于2017-08-29得票数 1
高等数学(即超越经典的大学微积分序列)是否与密码学以外的计算机安全领域有关？说到相关，我的意思是在科学的边缘，一个人必须经过高级数学训练。
如果是的话，安全的哪个分支和数学的哪个分支--为什么？编辑:代替答案中的一些评论:我认为“经典”大学微积分序列类似于:微积分1，微积分2，多变量微积分和微分方程。当然，在达到微分方程之前，我们可以将分支扩展到其他数学领域。
浏览 0提问于2013-03-08得票数 15
回答已采纳
我给出了一项任务，在lambda微积分中制作整数列表生成器[m...] .因此，它应该充分地填补这个定义。因此，需要一个λ微积分F。我不知道如何找出哪一个λ微积分F应该是。有人对F有什么建议吗？
浏览 4提问于2021-01-24得票数 0
回答已采纳
我尝试过搜索，但我发现的大多数假设都是关于λ微积分的知识。为什么人们认为lambda微积分比单变量微积分在编程中更有用？lambda表达式和函数程序之间有关系吗？是阿隆佐·丘奇在λ微积分方面的工作影响了编程语言的发展吗？
学校外的每个人都在不停地讨论这个问题，我不知道他们会说些什么，尽管我渴望学习它，看看它与我的编程和对编程语言的理解有什么直接的关系。
浏览 0提问于2014-10-18得票数 14
回答已采纳
2回答
我最近一直在学习λ微积分.我理解了非类型化和类型化λ-微积分之间的区别。但是，我不太清楚辛德雷-米尔纳式系统和类型的λ-微积分之间的区别。是关于的，还是有其他的区别？
浏览 0提问于2018-10-01得票数 6
回答已采纳
1回答
假设我有两个课程:微积分1和微积分2。微积分1没有先决条件，微积分2有微积分1作为先决条件。[0].CourseName; \\ spit out the CourseName for Math101, as recorded as a pre-req for Math102，那么我得到了“微积分
浏览 3提问于2014-02-20得票数 1
回答已采纳
1回答
我有一个从网站上，我需要输入学生的ID和课程的名称，学生已通过，但有些课程是依赖于其他(例如:我需要通过微积分1，然后我可以进入我的微积分2年级)。(我想使微积分2依赖于微积分1值)。
我希望有人能理解我的问题并帮助我。谢谢
浏览 3提问于2015-09-03得票数 0
回答已采纳
6回答
然而，我注意到一个问题是，我们的大部分注意力都集中在各种类型的微积分上。但仔细想想，从理论上讲，我可以将神经网络和遗传编程视为非基于微积分的编程模型，尽管缺乏独立的实现，但它们是近年来诞生的有趣想法(比如小于λ1930)。同样开箱即用的还有查询语言、正则表达式和基于图/树的设计，它们虽然部分是数学的，但不是微积分，这让我思考现在编程中还有哪些非演算设计是重要的，还有哪些其他领域可以为我们提供新的编程范例？**注意：**这个问题不是关于“新”的，而是关于不是来自微积分的。
浏览 1提问于2009-02-14得票数 1
回答已采纳
一种是在图像中绘制一些2D结果，所以只有当所有的微积分都完成时，才会绘制这个结果。另一个是一个简单的窗口，上面写着“微积分在过程中”。所以在我开始微积分之前，我称之为“向我展示简单的窗口”“微积分在过程中”，
然后我叫“不要给我看简单的窗口”“微积分在过程中”。但是问题ams，我没有在微积分过程中看到简单的窗口“微积分过程”，我只是在一刹那就看到了，就在显示结果的图像时消失了。我试着放一些sleep()，但这并不能解决问题。什
浏览 2提问于2013-06-11得票数 2
回答已采纳
2回答
我参加了微积分系列的标准课程(例如，多变量微积分)和线性代数课程，并参加了入门(非微积分)统计学和计量经济学课程。
请让我知道，如果有任何课程或教科书，您可以推荐，以使我的数学/统计知识的速度。
浏览 0提问于2019-05-28得票数 2
7回答
我发现一个网站说微积分和线性代数是系统编程所必需的。
据我所知，系统编程是关于osdev、驱动程序、实用程序等的。我只是不知道微积分和线性代数在这方面有什么帮助。我知道微积分在科学上有很多应用，但在这个特殊的编程领域，我无法想象微积分是如何如此重要。
浏览 0提问于2012-07-26得票数 11
回答已采纳
2回答
我一遍又一遍地复习我的元组微积分。更糟糕的是，我的教授和导师在他们的工作时间里没有多大帮助。
有人知道一个学习元组微积分的好地方吗？我很难理解如何从数据库中“说”这种语言。
浏览 0提问于2011-10-27得票数 6
你需要理解张量微积分才能使用Google框架TensorFlow吗？一个纯粹的编程背景的人能充分利用它而不完全理解张量微积分的复杂之处吗？
浏览 4提问于2017-03-23得票数 1
例如，一个人可以在2021年学习微积分I、微积分II和微积分III，但是他/她不能在2019年、2020和2021年学习微积分I。 如何在我的SQL表中添加这样的约束？
浏览 32提问于2021-05-11得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
