1回答
我只知道O代表自然数，S取自然数并返回另一个自然数。我不明白的是，当我们定义的nat数据类型在pred定义中使用时，O如何表示0？S n'模式匹配如何给我们n的前身。
浏览 3提问于2017-05-23得票数 1
我在javascript上使用lazy.js。我知道懒惰-评估是按需要调用的，但是如何在惰性评估代码中定义PI呢？例如，我们可以在lazy.js中定义自然数无穷序列：var natural = function(n) return n;当然，由于它是按需要调用的，所以您只能获得自然数的一部分，例如
var n100 = _
浏览 2提问于2014-06-28得票数 0
回答已采纳
2回答
戈鲁纳尔/一元是一种编码所有有效布莱福克程序的方法，但它不是枚举，因为大多数自然数与有效程序不对应。.,[]和所有左括号和右括号匹配。编写接受有效Brainfuck程序作为输入并返回自然数(1、2、3、…)的程序或函数。，有以下限制：
对于所有有效的Brainfuck程序，生成的输出必须是不同的。对于每个自然数n，必须有一个有效的Brainfuck程序，当
浏览 0提问于2015-08-26得票数 45
回答已采纳
希望在句号结束后用一组可选的便士数来匹配从£1到£155的所有和，因此£59.65匹配，£0.47和£155.56将不匹配。\d{1,2}
自然数和1-155之间的小数
浏览 4提问于2017-01-09得票数 0
回答已采纳
我想重复一遍自然数的出现并将它们全部捕获。r = "the ((sixty|six)[ -]+)+items"re.findall(r, s)它匹配‘6’2次，而可以观察到它不可能在“6 6”上匹配；相反，它必须在“66”上匹配，但是捕获返回(‘6’，‘6’)。
浏览 3提问于2016-08-12得票数 3
回答已采纳
我要从一个给定的字符串中得到所有正确的自然数，numbers = a.match(/d+/gi)
在上面的字符串中，我应该只匹配数字12、34、5、67，而不是匹配第一个单词5等中的1234。
浏览 3提问于2014-08-03得票数 3
回答已采纳
我用上下文无关文法生成自然数集。::= 0 | 2 | 4 | 6 | 8 | kleene{...} plus
没有kleene plus，我怎么表达自然数呢
浏览 2提问于2012-10-03得票数 0
3回答
如何将有限级数与正则表达式相匹配？
最后一个。请注意，我是，而不是，我使用了错误的工具来完成这项工作。这根本不是一个真实的编程任务。
浏览 5提问于2012-02-15得票数 4
回答已采纳
我有一个自然数列表，想把它按3:2:1的比例分成三个列表。想要使用partition function.Please指导我吗
固定点分区(l:列表A)：列表A*列表A :=匹配l与| nil => (nil，nil) |x :：tl =>让(g，d) :=分区
浏览 0提问于2019-10-24得票数 0
1回答
例如，以下面的RAT定义为自然数：我们在这里使用RAT，因为值集需要是无穷大的，我知道原则是用前一个值来表示每个新值，但我不明白这是如何形成自然数的
浏览 3提问于2012-03-31得票数 4
回答已采纳
1回答
第二行包含n个自然数数组，每个自然数不超过10^9。数组按升序排列。第四行包含一个k个自然数数组，每个自然数不超过10^9。{ }}我得到的不是预期的输出，而是：00当没有匹配时
浏览 1提问于2020-07-12得票数 0
回答已采纳
1回答
上的一篇著名文章给出了一个函数的示例，如下所示：f (n + 5) = 5
Haskell在匹配f1，f2，f3，f4时出现了一个错误。我不明白为什么(-1)不能与n匹配。
浏览 7提问于2021-12-31得票数 1
回答已采纳
1回答
我有一个字符串，我想检查它是否以"(n)“结尾，其中n是任何自然数，引号不包括在内。其中的一个例子是我正在尝试grepinteger(0)
此外，我希望用空字符串替换匹配(如果找到)。
浏览 2提问于2017-05-09得票数 0
回答已采纳
70回答
目标：A+B+1无效解决方案："ABC" (ABC不是一个数字)输出必须总是两个自然数之和(这实际上只是一个自然数)。-1、undefined、infinity、NaN和错误消息不是自然数。就我们的目的而言，0是自然的(虽然不是所有数学家都同意)。
浏览 0提问于2017-02-13得票数 43
1回答
我已经将几列.csv数据读入R，其中的内容包含自然数加零的变量，并且有缺失值。在尝试使用非参数包之后，我遇到了两个问题:首先，如果我使用简单的命令bw=npregbw(ydat=y, xdat=x, na.omit)，其中x和y是列向量，我得到的错误是“回归数据和响应数据的数量不匹配但是x怎么不是原子的，它只是一个带有自然数和NA的向量？
任何澄清都将不胜感激！
浏览 0提问于2012-04-19得票数 1
如果我们列出10以下的所有自然数，它们是3或5的倍数，我们得到3，5，6和9，这些倍数的总和是23。我有以下代码，但答案不匹配。
浏览 0提问于2010-10-03得票数 7
回答已采纳
1回答
离散数学
、、、
我真的不知道从何说起。我的第一个想法是，j和k的交集应该是全集，但我没有任何证据。我没有太多关于集合族的实践，但这学期我在集合论方面做了很多工作。我是一名数学辅修三年级的学生，这门课的目的是帮助你过渡到更严格的、基于证明的数学。谢谢你的帮助！
浏览 6提问于2019-11-15得票数 1
回答已采纳
1回答
我想传递一个自然数n作为参数给一个Agda模块。在这个模块中，我构造了一个接受Fin n类型参数的函数。当模式与该函数的参数匹配时，我会遇到这样的问题：n可能是zero，因此Fin n类型将为空。奇怪的是，当您在函数本身中引入原始自然数时，Agda似乎没有这个问题，而且该函数编译得很好。同时，我还需要能够在Fin n类型的对象上编写模式匹配的函数。有人知道我该怎么做吗？
浏览 2提问于2016-04-21得票数 2
回答已采纳
1回答
我认为我们可以证明21是一个自然数，就像我们可以证明2是。
natural(0).
natural(2).在这些逻辑语句中，第一条和第三条可视为自然数的公理：假定为真的语句，所有关于自然数的真语句都可以被证明为
浏览 2提问于2011-11-20得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
