没有在coq
我有兴趣尝试使用Coq构建集合论。我想定义一个类型&...
您如何编码确定表A是否为表B的适当子集的SQL查询？
如果A是B的适当子集，反之亦然，则查询应返回true。...
为什么我们在数学中至少有三个图形定义？
定义1-2套和功能 <a href="https://i.stack...
是否可以在 Ocaml 中实现罗素悖论？
我最近在朴素集合论中了解了罗素悖论，当考虑所有不...
全序集合 X 的任何子集对于 X 上的顺序的限制是全序的
我确实理解全序集合的每个子集都必须是全序，因为全...
频繁 k 集集合的每个元素是否完全由包含在频繁 (k-1) 集集合的元素中的单例构成？
为了更清楚，假设我们有一个集合（S0），它有一组频...
在计算机程序设计中使用集合论中的函数
如何在编程中使用集合论中的函数？例如，让我们以 C...
不相交的字符串集 - 最小化问题
有两个集合，<code>s1</code> 和 <c...
找到所有“配对集”，使得所有元素都有一对，并且没有对包含公共元素
我目前正在尝试解决以下问题。 我必须找到集合的所有...
在关系中找到给定值的图像
我有下面给出的关系R： <pre><code>R =...
在 VBA MS Access 中减去数组而不更改原始数组
我正在尝试创建一个名为 ArrayThree 的数组，该数组...