cost 126 ms
Prolog 程序枚举可数集上的所有可能解决方案 - Prolog program to enumerate all possible solution over a countable set

我正在编写一个可以执行 Peano 算术的 prolog 程序。 我有自然数的标准定义。 因为我想枚举自然数之间所有可能的加法关系,所以我定义了一个辅助 function(为了定义集合上的总排序)。 然后,我定义了加法 如果我在这个加法的定义上列举所有可能的关系,它工作得很好。 当输出一组有限的答案 ...

如何为 N 的所有有限子集定义编码 function? - How to define a coding function for all finite subsets of N?

为了处理可数集,我必须定义 N(自然数)的所有有限子集的编码 function。 我怎样才能做到这一点? 我开始为所有自然数找到一个 function:f(n)=1+2+...+(n-1)+n。 但是我如何为 f 的所有可能子集表达编码 function? 我怎么能说 f 包含所有有限自然数呢? ...

python 可迭代是否暗示可数? - Does python iterable imply countable?

我偶然发现了一个有趣的案例——我唯一确定的是我会得到一个iterable的 object。 我真正并且唯一想做的就是数一数。 我已经搜索了 python 中的可迭代是否意味着可数,我发现除了官方文档之外的各个地方都声称如此。 所以出现了2个问题: 在 Python 中,是否可迭代 => 可计 ...

无数的常规语言 - Uncountably many regular languages

考虑以下语言 S = {0, 00, 000, 0000, 00000,....}。 考虑 S 的幂集,并让 S 的幂集的每个元素都是正则语言。 因为 S 是可数无限的,所以它的幂集是不可数无限的。 由于 S 的幂集的每个元素都是有限的,每个元素都是一种正则语言,但这意味着存在不可数的正则语言。 ...

wamp-count():参数必须是实现Countable的数组或对象 - wamp- count(): Parameter must be an array or an object that implements Countable

我正在使用symfony并收到此消息 警告:count():参数必须是实现Countable的数组或对象 此消息仅针对php 7.2.14显示,而不针对php 7.1.26显示。 我想要像在phpmyAdmin这样的服务器上应用的解决方案。 我知道有涉及改变这样的代 ...

phpmyadmin - count(): 参数必须是一个数组或者一个实现了Countable的对象 - phpmyadmin - count(): Parameter must be an array or an object that implements Countable

我已将备份上传到一个表,打开我看到这个表: 在 phpMyAdmin 中... PHP是7.2,服务器是Ubuntu 16.04,昨天安装的。 寻找我看到有些人在他们的代码中有这个错误,但我没有找到任何人在 phpMyAdmin 中收到它... 我该怎么办? 那是我的错误吗? phpm ...

阿格达中的可数子集 - Countable subsets in Agda

我需要表达由谓词P定义的特定子集的可数属性。我的第一个想法是明确声明存在一个函数f,该函数在我的子集与自然数之间是双射的。 在标准库中还有另一种更通用的方式来表达该属性吗? 先感谢您 ...

可以在一个不是可迭代的PHP类中实现\\ Countable吗? - It is okay to implement \Countable in a PHP class that is not meant to be iterable?

我有一个MultipleException类,该类收集异常(例如,表单字段中的多个错误)并实现可计数,但是我不希望它像列表一样可迭代,因为它实际上是一个异常(您永远不会抛出列表)。 在软件设计方面可以吗? 还是我滥用了SPL Countable接口? 哪种方法正确? 谢谢 ...

PHP:我如何排序和过滤“数组”,即一个Object,实现ArrayAccess? - PHP: how can I sort and filter an “array”, that is an Object, implementing ArrayAccess?

我有一个对象集合,表现得像一个数组。 它是一个数据库结果对象。 类似于以下内容: $users变量是一个实现ArrayAccess和Countable接口的对象。 我想对这个“数组”进行排序和过滤,但我不能在其上使用数组函数: 我如何排序和筛选这种类型的对象? ...

如何证明所有两个参数函数的集合都是不可数的 - How to prove set of all two argument functions cannot be countable

我们可以证明使用cantor的对角线无法计算所有一个参数函数的集合。 例如 对于所有函数f1到fn,我们可以将所有参数传递给1到n,并传递给n。 然后通过取对角线值并将1加到对角线值上,我们可以证明我们不能计算所有一个参数函数(因为更改对角线值将产生未列出的唯一行) 想知道有没 ...


 
粤ICP备18138465号  © 2020-2024 STACKOOM.COM