我将在明年开始我的第一年(在大学)的计算机科学，我主要写C(如果这是重要的话)。我尝试过搜索，但我发现的大多数假设都是关于λ微积分的知识。为什么人们认为lambda微积分比单变量微积分在编程中更有用？是阿隆佐·丘奇在λ微积分方面的工作影响了编程语言的发展吗？
学校外的每个人都在不停地讨论这个问题，我不知道他们会说些什么，尽管我渴望学习它，看看它与我的编程和对编程语言的理解有什么直接的关系。
浏览 0提问于2014-10-18得票数 14
回答已采纳
2回答
这学期我要开始学习微积分了。我以前使用过编程(或脚本)语言，主要是PHP和C#。我没有做太多低级的工作。我总是能看到微积分和编程之间的相似之处--几乎就像数字命理学--那么微积分和编程语言是如何联系起来的呢？
潜意识里，我知道有关系，但我不认为我知道正确的术语来描述它。
浏览 3提问于2010-08-31得票数 1
回答已采纳
2回答
我最近一直在学习λ微积分.我理解了非类型化和类型化λ-微积分之间的区别。但是，我不太清楚辛德雷-米尔纳式系统和类型的λ-微积分之间的区别。是关于的，还是有其他的区别？
浏览 0提问于2018-10-01得票数 6
回答已采纳
3回答
在这个夏天，我学了一点PHP和javascript，所以我想我今年的数学也会领先一步，对我来说，这将是微积分。我在看一些视频，偶然发现了这个：
function double(x){}return x*3;有没有哪种编程语言允许这样的东西：
(double还有，有没有地方可以向10000年前
浏览 1提问于2011-09-04得票数 6
回答已采纳
6回答
然而，我注意到一个问题是，我们的大部分注意力都集中在各种类型的微积分上。但仔细想想，从理论上讲，我可以将神经网络和遗传编程视为非基于微积分的编程模型，尽管缺乏独立的实现，但它们是近年来诞生的有趣想法(比如小于λ1930)。同样开箱即用的还有查询语言、正则表达式和基于图/树的设计，它们虽然部分是数学的，但不是微积分，这让我思考现在编程中还有哪些非演算设计是重要的，还有哪些其他领域可以为我们提供新的编程范例？**注意：**这个问题不是关于“新”的
浏览 1提问于2009-02-14得票数 1
回答已采纳
根据维基百科的说法，从lambda微积分到组合逻辑的翻译是微不足道的。Concatenative编程语言可以完全依赖堆栈进行内存分配。是什么阻止GHC将Haskell转换为级联编程语言(例如组合逻辑)，然后简单地使用堆栈分配来实现一切呢？
这样做是否可行，从而消除诸如Haskell和OCaml等语言的垃圾收集？这样做有什么坏处吗？
浏览 3提问于2016-09-11得票数 17
回答已采纳
为什么不将BOOL定义为enum，如是否有任何理由必须将BOOL指定为显式为int (或任何其他整数类型)？
浏览 7提问于2017-07-01得票数 2
回答已采纳
4回答
在哪里编码这个启发？
、、、
我需要以下几件：所以我需要一种更快的编程语言来完成这些工作。你建议用哪种语言？首先，我开始使用Java，但是获取积分成为了一个问题。我对速度不太确定。谢谢!
浏览 1提问于2011-04-07得票数 0
回答已采纳
3回答
我正在学习C语言，但在此之后或在此期间，在进入C++之前，我应该先学习什么，然后再学习什么？编译器、数据结构、统一建模语言或设计模式？(什么时候开始学习Win32应用编程接口?)线性代数，离散数学，微积分？
如果有人能指引我走完这段旅程，我将不胜感激。有很多问题我想知道答案。谢谢。
浏览 1提问于2010-12-04得票数 7
回答已采纳
λx.λf.fx在lambda微积分中的名字是什么？
对应的函数在函数式编程语言中是否有一个标准名称，如Haskell？在面向对象编程中，方法foo是否有一个通常的名称，该方法以函数为参数，从而使x.foo(f)返回f(x)？
浏览 0提问于2013-05-17得票数 18
回答已采纳
1回答
最近，我收到了哈罗德·艾伯森等人的一本“海龟几何:计算机作为探索数学的媒介”。我想知道是否有其他书籍使用同样的方法(一种计算方法)来教授数学或物理概念？我知道另外几个关于统计学的知识，但是物理或者数学的其他分支呢？
浏览 2提问于2014-07-10得票数 2
回答已采纳
2回答
我感兴趣的是学习一种优雅的方法，在函数式编程语言中使用currying对多重积分进行数值计算。我选择的语言是F#。如果我想在区域[0,1]x[0,1]x[0,1]上积分f(x,y,z)=8xyz，我首先写下微分形式8xyz dx dy dz的三重积分。我取第一积分，问题归结为[0,1]x[0,1]上的4xy dx dy的二重积分。从概念上讲，我们已经将该函数转换为(float -> float -> float)。在第二次积分</e
浏览 2提问于2013-01-17得票数 6
回答已采纳
2回答
集成三轴陀螺仪的读数？
、、、
因此，我用C语言编写了一个程序，以非常高的数据速率打印三轴陀螺仪的值。这些值是角速度的瞬时值，如果设备静止，则角速度在移动时会上升，如果设备静止，则会下降。如果我在固定的采样时间内对这些值进行积分，我能做到这一点吗？我该如何进行集成？我是一个C编程的初学者。谢谢
浏览 1提问于2015-07-08得票数 1
2回答
我试图把我的注意力集中在lambda微积分上，以及它与语言、编译器和二进制代码之间的关系。它实际上意味着lambda微积分相当于图灵机，它在哪里真正表现出来呢？我不明白lambda微积分如何能取代图灵机作为计算的理论模型。图灵机是关于改变状态的顺序指令，lambda演算是关于对某物进行计算的表达式。它更抽象，就像它自己的一种编程语言，而不是如何实际计算某件事，使事情发生的模型。或者这样说吧: lambda微积分就像路线图，图灵机就像汽车模型。这两者如何被认为是等同的呢？
浏览 5提问于2017-05-07得票数 12
4回答
我正在为学校实现一个算法，我在理解如何在编程中表示定积分时遇到了问题。=0){}else{ y = y + (x - 1);}
这里的方程可能没有数学意义，但我的目标是在c#中实现类似的方程，用于我必须执行的学校编程项目，在该项目中，我必须实现包含积分的算法。我一直在读到，有一些数值方法可以解决定积分，例如辛
浏览 0提问于2012-06-08得票数 11
回答已采纳
1回答
使用任何现有的语言类型系统实现任何像图灵机那样强大的计算模型。当然欢迎您使用需要编译器选项才能激活的可选类型系统特性。请指定如何编程和运行您的机器，ala“在源代码中编辑这些数字/构造，编译它并运行它。”
例如，在实现脑盘中有一个C++模板元编程。一些简单的计算模型包括Br
浏览 0提问于2012-03-30得票数 4
我一直在学习PHP 5社交网络一书提供的注册表课程。目前还不清楚它到底在做什么。通常的注册表设计模式类似于中的模式。这一点似乎不一样： * Array of objects private $objects;
* Array of settings private $settings;
}
* Create a new object and stor
浏览 0提问于2014-02-08得票数 0
回答已采纳
我是Sympy编程的新手(在python语言方面)。我需要绘制木星这个积分函数来检查它的定性研究：
什么是最好的跟踪方式？
浏览 1提问于2022-10-25得票数 0
回答已采纳
1回答
仅为数学证明助理
、、、、
大多数验证助手都是带有依赖类型的函数式编程语言。他们可以证明程序/算法。相反，我感兴趣的是最适合数学的证明助手(例如微积分)。你能推荐一个吗？像Agda和Idris这样的新语言对数学证明有多好？
浏览 3提问于2015-02-16得票数 7
回答已采纳
我唯一不厌倦的就是编码和游戏，所以我想，如果编写一个解决数学问题的程序能帮助我更好地理解数学，那么这些问题大多是极限(微积分)、函数、微积分和其他一些类似于前面提到的科目(我已经说得不太好)。或者我错了，在编程之前应该学习数学，以帮助我改进编码吗？
P.S : C++是首选语言。
浏览 0提问于2012-01-25得票数 9
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
