最后，我想要3列：我试过： region,
(SELECT AVG(surface_m2) FROM table1我还试图定义另一个表WITH语句，但它没有工作。我试过用JOIN，但也失败了。
浏览 1提问于2019-10-14得票数 2
回答已采纳
当查看可判定相等类型的结果时(特别是在中)，有一些结果(对于A类型)是需要的而有些人则要求
forall x y : A, {x是否有某种类型的例子可以证明第一条语句，但不能证明第二条语句。另外，是否{x = y} + {x <> y}版本被称为可判定的等式？
浏览 1提问于2021-10-25得票数 4
回答已采纳
1回答
克莱恩星无法分辨
、、、
我知道，如果L是可判定的，我们可以通过构造一个图灵机来证明L*也是可判定的，但是我很难解决这个问题:如果L是不可判定的，那么L*也是不可判定的。这句话是真的还是假的？
浏览 2提问于2017-10-03得票数 1
在精益手册“精益证明定理”中，我读到：“用经典公理，我们可以证明每一个命题都是可判定的”。当阅读“每个命题都是可判定的”时，我理解我们可以定义一个函数(或者至少我们可以证明这样一个函数的存在)：
Definition decide (p:Prop) : Dec p.所以我的问题是:假设没有错误，并且“用经典公理，我们可以证明每一个命题都是可判定的”的说法是正确的，我想知道我应该如何理解它，这样我才能摆脱我所强调的悖论。
浏览 0提问于2020-04-20得票数 3
回答已采纳
我的问题:定义单词的两个集合P和q(即两个问题)：P是不可判定的和不半可的，q是不可判定的和半可判定的，P是⊂q的。
浏览 1提问于2015-02-22得票数 1
回答已采纳
我试图证明输入x}的语言L= {w∈{0，1}∗Mw(x)↓是部分可判定的，但不是可判定的。Mw是M的编码，因此L语言使机器M的所有编码在某个输入x上停止。我有两个想法：
但是，我很难决定这两种方法中哪一种实际上是正确的，以及如何用正确的符号来写它。有人能给点提示吗？
浏览 2提问于2018-10-30得票数 1
1回答
因此，PCP是半可判定的和不可判定的，停顿问题也是不可判定的。有没有可能为它们命名一个时间复杂度，比如NP或expTime？
那么空间复杂性呢:它们是在Pspace中吗？
浏览 12提问于2020-02-23得票数 0
回答已采纳
然而，通过定义一种新的带计数器的Büchi自动机类，他们按照自动机理论方法建立了这种逻辑的可判定性。对于我来说，这听起来远不是我所理解的SMT求解器作为可判定理论与量词的决策过程所实现的经典量词消除。因此，我的问题是:如果一个理论可以像第1篇那样被证明是可判定的，那么Z3 (和其他求解者)是否实现了这些决策过程？换句话说，∀i . 0 ≤ i < n → a[i+1] = a[i]−1查询是用Z3中的终止决策过程来决定的，还是使用了更高效、但却是半可判定的启发式方法？如果他们使用终止过程，Z3 (和其他部分)如何识别
浏览 8提问于2022-10-05得票数 0
回答已采纳
1回答
以下是我已经拥有的:非递归的意思是不可判定的。上面写着：
如果一种语言是不可判定的(非递归的)，必须有一些字符串使TM失败halt.SO IT必须有无穷多的字符串使TM无法停止。
浏览 2提问于2013-11-20得票数 1
回答已采纳
1回答
SMT-LIB中的QF_NRA逻辑是可判定的吗？
我知道Tarski证明了非线性算法是可判定的，在实数中多项式系统是可判定的。然而，QF_NRA是否属于这一保护伞并不明显，因为QF_NRA包含除法。如果零除法不是QF_NRA的一部分，那么QF_NRA中的除法就可以转换为乘法，这个问题将如Tarski所证明的那样是可判定的。如果QF_NRA中实际上包含了部门，那么我就不太确定了。在这种情况下，QF_NRA仍然是可判定的。
浏览 2提问于2016-10-21得票数 2
回答已采纳
1回答
例如，如果abc ∈ L1和123 ∈ L2，那么a1b2c3 ∈ INTERLACE(L1, L2)
之后，我想我要说的是，如何构建识别语言的DFA？
浏览 0提问于2017-04-01得票数 5
回答已采纳
1回答
2)是否每台语言可判定的图灵机在任何输入上都会停止?3)回文的语言，无论是哪种语言，都是可判定的吗?对于这个问题，我几乎毫不怀疑它是错误的，因为用Rice定理，我们可以证明，这个问题是不可判定的。
浏览 8提问于2017-11-24得票数 1
回答已采纳
MAC地址80:41:26:53:24:11被判定为数字62745168251，而84:19:14:15:86:58被判定为字符串。
浏览 0提问于2018-10-10得票数 1
回答已采纳
1回答
这是令人惊讶的，因为我一直在研究一阶理论，据我所知，LIA是可判定的，而NIA则不是(在理性主义中也是如此)。结果是[]，顺便说一句：有效。在()中:G del证明了(NIA)是一个不可判定的问题。那么，NIA是不可判定的还是半可判定的？同样，在不可判定的意义上，G del的意思是不可判定的(但对semi-decidability)？只字不提)
是否有完全无法分辨的LIA片段？例如
浏览 8提问于2021-11-24得票数 2
回答已采纳
2回答
这不是PHP的最大执行时间，因为设置的时间足够长。
这是我的VPS提供者为了对抗负载而做的事情，还是Ubuntu为了保持系统响应而做的事情？根据munin的说法，我的VPS配置得很奇怪。
浏览 0提问于2011-05-28得票数 2
1回答
量化的顺序，即∃*∀*，是否关系到EPR的可判定性？如果转换量化顺序，我们是否失去了决策能力？ (and (S1 x) (f x y)))) ))
请注意，第二个assert语句对表单然而，当我在Z3上使用这样的公式时，我从来没有遇到过超时问题，我不知道上面的公式是否确实处于某种可判定的片段中(同时也承认在实践中的可解性并不意味着理论上的可
浏览 5提问于2017-09-12得票数 3
回答已采纳
3回答
的可判定性
、、、
这个问题是半可判定的还是可判定的？
可以创建一个算法来找到答案，这样它就会始终停止。我对半可决定和可判定之间的区别感到很困惑。据我所知，如果我能够构建一个图灵机(算法)来接受问题的解决方案，并以其他方式拒绝，那么问题是可以判定的。然而，如果机器永远不会停止在输入不是解决方案的情况下，这意味着问题是半决定性的。
浏览 0提问于2018-07-07得票数 1
回答已采纳
由于自然数支持可判定的全序，注入在ascii类型上产生可判定的全序。用Coq表达这一点的简洁、惯用的方式是什么？(有或没有类型类、模块等)
浏览 2提问于2017-11-06得票数 6
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
