腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
2
回答
lambda微
积分
和编程
语言
之间的关系是什么?
programming-languages
、
computer-science
、
lambda-calculus
我将在明年开始我的第一年(在大学)的计算机科学,我主要写
C
(如果这是重要的话)。我尝试过搜索,但我发现的大多数假设都是关于λ微
积分
的知识。为什么人们认为lambda微
积分
比单变量微
积分
在编程中更有用?lambda表达式和
函数
程序
之间有关系吗?是阿隆佐·丘奇在λ微
积分
方面的工作影响了编程
语言
的发展吗?学校外的每个人都在不停地讨论这个问题,我不知道他们会说些什么,尽管我渴望学习它,看看它与我的编程和对编程
语言
的理解有什么直接的关系。
浏览 0
提问于2014-10-18
得票数 14
回答已采纳
2
回答
关于
C
++微
积分
的精度
c++
、
floating-point
、
precision
、
calculus
我已经得到了一个原型
函数
,可以在
C
++中做一些微
积分
(伽马
函数
的
积分
),我需要将它转换成
C
语言
。作者在每一次微
积分
中都使用了带后缀f的浮点变量。比如这些句子..。float a1=.083333333f;该
程序
通过将其中一些变量相乘,在多行上使用截断级数。我的问题是..。
浏览 5
提问于2011-10-25
得票数 0
2
回答
微
积分
和编程语法之间有什么关系?
syntax
、
computer-science
、
calculus
这学期我要开始学习微
积分
了。我以前使用过编程(或脚本)
语言
,主要是PHP和
C
#。我没有做太多低级的工作。我在语法之间建立的唯一关系是具有Y组合符的匿名
函数
和具有集合表示法的数组(我甚至不确定这些是否正确)。我总是能看到微
积分
和编程之间的相似之处--几乎就像数字命理学--那么微
积分
和编程
语言
是如何联系起来的呢? 潜意识里,我知道有关系,但我不认为我知道正确的术语来描述它。如果我不能完全理解计算理论,我还能认为自己是
程序
员吗?
浏览 3
提问于2010-08-31
得票数 1
回答已采纳
1
回答
利用数值
积分
进行非正常
积分
计算
language-agnostic
、
numerical-integration
我对
函数
的的计算很感兴趣。尤其是它是一个。使用数值
积分
对于定
积分
来说是有意义的,但是我应该如何处理不适当的
积分
呢?是否有任何was可以外推
函数
“围绕”负无穷大,或者我应该删除这一部分,并从某个特定值开始
积分
,因为“负无穷大”附近的累积和对于高斯
积分
几乎不存在?也许有一些算法是我不知道的。
浏览 1
提问于2010-04-12
得票数 2
回答已采纳
2
回答
用
C
语言
编写比例
积分
程序
c
我正在做一个课程的项目,我的目标是在一个机器人上实现比例
积分
控制,用12个简单的光电晶体管跟踪一条线。现在我已经阅读了很多PID教程,但我仍然感到困惑。有没有人能帮我从我一直在想的事情开始...
浏览 1
提问于2011-03-07
得票数 1
2
回答
整合贝叶斯概率分布
java
、
math
、
statistics
、
integration
现在,为了找到x,我可能想要对a的所有值进行
积分
。有没有使用Java解决这类数学问题的通用方法?
浏览 4
提问于2012-06-01
得票数 0
回答已采纳
1
回答
用
c
语言
实现
函数
定
积分
c
、
math
、
integral
我想做定
积分
,但似乎有误,有人能帮我吗?对不起,我用印尼语说错了话。我想显示f(bawah)和f(atas),但是我知道如何将输入插入void
函数
(输入是"bawah“和"atas")#include <stdlib.h> return(a*(pow(x, 2) + (b*x) +
c
)
浏览 5
提问于2021-03-07
得票数 0
2
回答
C
:我如何舍入一个全局变量?
c
、
compiler-errors
、
global-variables
、
rounding
、
compile-time
我有密码#include <math.h> {}我想把它作为全局变量进行舍入。这个是可能的吗?
浏览 1
提问于2015-06-01
得票数 0
回答已采纳
1
回答
C
++数值
积分
库
library
、
c++
、
numerical-analysis
有谁知道
c
++库用于样本的数值集成(数据点(x,y)),比如scipy integrate.simps?
浏览 0
提问于2016-05-05
得票数 1
2
回答
是否有可能有效地评估lambda微
积分
术语?
algorithm
、
lambda
、
functional-programming
、
computer-science
、
lambda-calculus
最近我在lambda微
积分
中写了很多
程序
,我希望我能实时运行其中的一些
程序
。然而,尽管趋势
函数
范式是基于lambda演算和B-约简规则的,但我找不到一个评估器,它不是玩具,不是为了提高效率。
函数
语言
应该是快速的,但我所知道的那些
语言
实际上并不提供对普通形式的访问(参见Haskell的惰性评估器、Scheme的闭包等等),所以不要充当LC评估器。这让我怀疑:是不可能有效地评估lambda微
积分
术语,是因为没有人决定为它创建一个快速的评估器只是历史上的偶然
浏览 2
提问于2015-07-04
得票数 15
回答已采纳
1
回答
在
C
中使用POSIX线程的并行I/O
c
、
multithreading
、
io
、
pthreads
、
posix
在
C
语言
中,有没有一种简单的方法,使用POSIX线程,将
程序
(例如fprintf...)的所有文件输出发送到执行代码的cpu内核之外的其他cpu内核?我的
程序
执行数值
积分
,并且在
积分
的每一步都将数据写入文件。 谢谢。
浏览 1
提问于2014-03-23
得票数 0
2
回答
Currying和多重
积分
f#
、
functional-programming
、
numerical-methods
、
currying
我感兴趣的是学习一种优雅的方法,在
函数
式编程
语言
中使用currying对多重
积分
进行数值计算。我选择的
语言
是F#。如果我想在区域[0,1]x[0,1]x[0,1]上
积分
f(x,y,z)=8xyz,我首先写下微分形式8xyz dx dy dz的三重
积分
。在某种意义上,这是一个由三个有序参数组成的
函数
:一个(float -> float -> float -> float)。我取第一
积分
,问题归结为[0,1]x[0,1]上的4xy dx
浏览 2
提问于2013-01-17
得票数 6
回答已采纳
12
回答
通过编程学习数学是可能的,还是你应该学习编程的数学?
self-improvement
、
math
、
coding
我唯一不厌倦的就是编码和游戏,所以我想,如果编写一个解决数学问题的
程序
能帮助我更好地理解数学,那么这些问题大多是极限(微
积分
)、
函数
、微
积分
和其他一些类似于前面提到的科目(我已经说得不太好)。我的问题是:如果我做一些具体的
程序
编码,我是否能够获得更好的数学知识?如果可能的话,物理也有可能吗?或者我错了,在编程之前应该学习数学,以帮助我改进编码吗? P.S :
C
++是首选
语言
。
浏览 0
提问于2012-01-25
得票数 9
回答已采纳
3
回答
符号演算与Python的集成
python
、
numerical-methods
、
symbolic-math
、
numerical-integration
我试着用数值计算一个双
积分
。问题是,(我想)我需要符号
积分
和数值
积分
的混合。
积分
看起来是这样的: 有可能吗?如果不是在python中
浏览 6
提问于2022-01-18
得票数 0
3
回答
集成一个三变量
函数
C
++
c++
、
numerical-methods
、
scientific-computing
、
numerical-integration
我在互联网上发现了多行代码,这些代码实现了单变量定
积分
数值格式。我在想,“好吧,我将沿着一个又一个的维度进行整合”。这在Matlab这样的
语言
中很容易实现,在这里我可以在任何地方创建
函数
处理
程序
,但是我不知道如何在
C
++中实现它。我首先要定义一个
函数
,一些r和phi会计算任何θ的integrand(r,phi,theta),并使它在
C
++中仅是一个变量的
函数
,但我不知道怎么做。,我如何使用一个-dimensional集成例程(或其他任何真正的.)来计算
浏览 3
提问于2017-07-06
得票数 0
1
回答
仅为数学证明助理
proof
、
agda
、
idris
、
proof-of-correctness
、
isar
大多数验证助手都是带有依赖类型的
函数
式编程
语言
。他们可以证明
程序
/算法。相反,我感兴趣的是最适合数学的证明助手(例如微
积分
)。你能推荐一个吗?像Agda和Idris这样的新
语言
对数学证明有多好?
浏览 3
提问于2015-02-16
得票数 7
回答已采纳
2
回答
它的意思是,lambda微
积分
相当于图灵机。
functional-programming
、
computation-theory
、
lambda-calculus
、
turing-machines
、
computability
我试图把我的注意力集中在lambda微
积分
上,以及它与
语言
、编译器和二进制代码之间的关系。它实际上意味着lambda微
积分
相当于图灵机,它在哪里真正表现出来呢?我不明白lambda微
积分
如何能取代图灵机作为计算的理论模型。图灵机是关于改变状态的顺序指令,lambda演算是关于对某物进行计算的表达式。它更抽象,就像它自己的一种编程
语言
,而不是如何实际计算某件事,使事情发生的模型。或者这样说吧: lambda微
积分
就像路线图,图灵机就像汽车模型。这两者如何被认为是等同的呢?例如,lisp编译
浏览 5
提问于2017-05-07
得票数 12
1
回答
在文档中说明“数字”是否可以是非整数的。
discussion
、
status-completed
、
documentation
积分
还是非
积分
?对于使用更动态类型的
语言
(如JavaScript )的开发人员来说,这不是问题;但是当使用更静态类型的
语言
(如
C
# )时,开发人员需要知道什么时候应该使用int或long,而不是double。如果能更清楚地表示可以是非
积分
的值,那将是有帮助的。是的,我知道您正在返回JSON中的"number“,所以从技术上讲,规范是正确的。但这对你的观众有什么好处呢?除了API最琐碎的应用
程序
之外,"number“对所有应用
程序</
浏览 0
提问于2010-06-01
得票数 2
回答已采纳
2
回答
C
-打印50个有效数字时的双精度产生不准确的值
c
、
double
、
division
我正在用Riemann sums为我的微
积分
课程做一个集成
程序
。我决定在计算
积分
时使用
C
语言
,我注意到我的
程序
中有一个巨大的错误,这个错误是由这个问题引起的。int argc, char** argv) { printf("%1.50f \n", x); }
程序
为我提供了
浏览 2
提问于2011-10-19
得票数 3
3
回答
辛
积分
器的帮助
math
、
physics
、
scientific-computing
、
numerical-integration
、
differential-equations
问题是我一定是把数学搞错了,因为我的模拟在使用辛
积分
器时根本不工作(与四阶Runge-Kutta
积分
器相比,它在模拟中工作得相当好)。我已经在谷歌上搜索了很久,我能找到的都是关于这个主题的科学文章。我想知道是否有人有利用辛
积分
器进行模拟的源代码,最好是用来模拟引力场,但任何辛
积分
器都可以。源代码是什么
语言
并不太重要,但我会喜欢使用
C
风格语法的
语言
。谢谢!
浏览 6
提问于2010-09-10
得票数 12
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
c语言-递归函数
【C语言】printf函数
C/C+编程笔记:C语言 rand 随机函数,深入解析程序随机数!
C语言-文件函数大全
【C语言C+编程入门】程序的可读性和函数的调用!
热门
标签
更多标签
云服务器
即时通信 IM
ICP备案
对象存储
实时音视频
活动推荐
运营活动
广告
关闭
领券