如何证明逻辑清晰的问题--命题中的list_get问题

文章/答案/技术大牛

发布

1回答

list、coq、proof

问题是我不能在不跳过一个步骤的情况下对H应用归纳。我应该得到一些instr0来应用标准引理： Lemma get_Some {A} (l:list A) n x : n := lengt

浏览 16提问于2019-04-02得票数 0

回答已采纳

5回答

或if语句问题中的逻辑。

javascript、if-statement、logic

我的if语句中的逻辑有问题。我尝试让它检查字符串字符是否等于a、e、i、o或u。如果是，则将该字符添加到短语字符串中。否则，将"x“添加到短语字符串中。if语句似乎忽略了我的OR逻辑，无论它是否是not的元音，都返回true。

浏览 0提问于2013-04-26得票数 1

1回答

如何用HORN逻辑证明Z3中的两个关系相等

set、z3、smt

我正在使用Z3中的Horn Logic来对进程代数进行建模检查，因为Horn Logic擅长处理递归定义。但是，我陷入了一些棘手的问题中。declare-rel A (Int))(rule (A 2)) (rule (B 2))有没有人能给我点提示？非常感谢。

浏览 1提问于2016-02-13得票数 1

1回答

用叉子做木桩证据？

proof-of-stake、forks

关于这样一个事实:在利害关系方的证明中，利益相关者将被随机选为每个时代(或每一轮或每一轮时隙)下一个区块的下一个作者，从逻辑上讲，在每一轮(或每一个时隙)中，只有一个区块的作者，因此一个建议的区块。在这些条件下，以及这个新块是否将由网络的其他部分进行验证，是否仍然有可能在每一轮中发生分叉？(就像在每一轮中都选择了一个作者)。赌注证明:

浏览 0提问于2020-09-17得票数 2

2回答

Excel浮点Arihmetic -它实际使用的是什么类型

excel

在前面的问题中，有人指出Excel使用64位(8字节)双精度浮点。我试着把数字绑在一起，这简直要了我的命！

浏览 1提问于2010-02-11得票数 4

1回答

函数工具在Python逻辑问题中的使用

python、user-interface、tkinter

我创建了一个简单的计算器，现在我使用的是类函数工具中的这个部分，现在我从许多站点了解到，为了使用部分函数，首先需要创建一个带有某种有限变量的函数，比如3个变量。x+y+zsum_new = partial(sum , 2 , 3)基本上，执行上面的语句将自动将值2赋值给函数求和中的变量问题:我现在正在创建这个计算器，在调用语句时，我不使用括号调用部分函数，为什么呢？

浏览 0提问于2020-04-18得票数 0

回答已采纳

1回答

SAT np完备性的证明

np、computation、np-complete、sat、np-hard

我知道，如果我们想证明某些问题的np完备性，我们必须证明如下：关于问题有一个非确定性多项式解，在sat问题中，所有其他np问题都可归结为这个问题，很容易证明“对于SAT问题有一个非确定性多项式解”，但我不知道如何证明“所有其他np问题都可归结为SAT问题”

浏览 4提问于2022-08-18得票数 -1

2回答

IMagickImage.Crop()导致图像模糊

c#、imagemagick

pdfPage.Clone();barcodeImg.Write(barcodePng); 问题是tmp.png文件是模糊的，我的条形码检测逻辑不会检测条形码。您可以看到上面的图像是清晰的，线没有被合并。如何在不使tm

浏览 0提问于2019-08-08得票数 0

回答已采纳

1回答

当添加或修改blob时，逻辑应用程序触发器上的“要从触发器返回的blob数”设置的用途是什么

azure、azure-logic-apps

问题在标题中，然而，它并不像你最初想象的那样清晰。它确实返回了许多名为List of...的值。

浏览 6提问于2019-11-06得票数 1

回答已采纳

1回答

如何在不重新初始化当前框架内容的情况下将一个框架的内容加载到另一个框架中

c#、.net、windows、win-universal-app

在我的UWP中，我试图设置框架的内容与另一个框架的内容，但我的解决方案都不起作用，实际上我所做的是从一个页面我传递一个框架作为导航参数，在第二个页面我有另一个框架，我需要设置导航参数中的框架内容。以下是我尝试过的解决方案： var frame = e.Parameter as Frame; } 方

浏览 0提问于2016-04-25得票数 0

2回答

TabHost中的Webview =以黑色屏幕启动

android、webview、android-tabhost

我试图在一个有4个选项卡的表主机中使用一个webview，所有选项卡都链接到相同的webview。怎么解决这个问题呢？下面是我的XML： andro

浏览 0提问于2011-10-06得票数 3

回答已采纳

4回答

哈希:它是如何内部工作的？

java、algorithm、data-structures、hash

这听起来可能是一个非常模糊的问题，但事实并非如此。我已经看过关于wiki的描述，但是它对理解并没有多大帮助。我们所说的“恒定时间复杂性”是什么意思?为什么哈希的不同实现会给出恒定的

浏览 0提问于2010-12-15得票数 61

回答已采纳

3回答

使用AWS cognito的无服务器框架生成CORS错误

python、cors、aws-lambda、amazon-cognito、serverless-framework

我从Angular前端收到这个错误消息，并且我没有被授权接触我的lambda代码： `Access to fetch at 'https://testapicd.***.***.com/localizationyour needs, set the request's mode to 'no-cors' to fetch the resource with CORS disabled.` 我找遍了所有地方，我的代码中似乎没有我的无服务器代码是 getrole:

浏览 25提问于2019-02-21得票数 3

回答已采纳

1回答

如何利用MD5进行碰撞攻击来破坏WOTS

hash、collision-resistance、md5、hash-signature、one-time-signature

在温蒂茨一次性签名安全性中指出，由于碰撞攻击，MD5对Winternitz是不安全的。假定WOTS生成多个私钥，比如32个私钥，然后对它们进行多次散列以获得32个公钥。来自MD5的碰撞攻击是如何破坏Winternitz的？这是否意味着我必须找到32次MD5碰撞？

浏览 0提问于2020-07-20得票数 3

回答已采纳

1回答

流畅的NHibernate -将两个一对多映射到同一个实体的最佳方式是什么

.net、fluent-nhibernate

我的类背后的逻辑是有一个问题，其中包含一个选项列表和一个答案。每个答案都包含问题所包含的选项的子列表。我希望下面的代码更清晰。我已经最小化了每个类的代码，只包含与这个问题相关的数据 public virtual int Id { get; set; } public virtualpublic virtual int Id { get; set; }

浏览 1提问于2010-02-22得票数 1

回答已采纳

1回答

什么是“说”方法？

ruby-on-rails、ruby

我正在查看为他的伟大工具 (公共工具)所做的模板文件。看一下，我从第274行看到了一堆say方法，它看起来像普通的puts，但是如果你仔细看一下，就会发现有一行写着： say "Jumpstart app successfully created!"看看apidock，作为一个ActiveRecord::Migration类方法，但是没有更多关于它的信息，只有。奇怪的是，当模板文件是ActiveRecord::Migration类方法时，它可以在模板文件中使用，还是不使用？

浏览 2提问于2022-07-14得票数 1

回答已采纳

1回答

在Rails中不是线程安全的例子

ruby-on-rails、thread-safety、class-variables

我见过像这样的线程--在Rails中的安全性，以及关于这个主题的各种网页--我确信每个人都很擅长背诵它是什么，并给出关于什么不是线程安全的‘提示’(“类变量！”)，但我似乎永远找不到一个清晰、简单、完整的例子，说明在Rails中实际上不是线程安全的东西，以至于我想知道是否有人真的理解它。如果有人能证明我是错的，并给出：一个清晰，简单，完整的例子，在Rails中不是线程安全的东

浏览 0提问于2016-07-26得票数 8

1回答

我想在Fortran中实现一个小而快速的定性数据类型。

types、fortran

这是在Fortran中实现定性数据类型的一系列问题的一部分。背景：这个话题涉及到所谓的复杂系统的循环分析，例如，Puccia，C.J.和Levins，R. (1986)。部分指定系统的定性分析。“纽约科学院年鉴”，231:123-138。虽然我可以使用数值矩阵代数来实现这个技术(就像在其他地方所做的那样)，但我对从另一个方向处理这个问题很感兴趣。循环分析的本质是复杂和昂贵的(我不是CS人员，但我认为这有点像一个#P

浏览 2提问于2013-12-26得票数 1

回答已采纳

1回答

如何证明渐近符号的组合？

big-o、asymptotic-complexity、proofs

我想我已经很好地掌握了Big O，omega和theta符号的含义，以及如何证明一个函数是其中之一。我不明白如何证明它们的组合，就像在问题中一样。有人能给我解释一下吗？

浏览 7提问于2017-01-20得票数 0

1回答

“如何模拟”中投币的证明问题

multiparty-computation

我正在读林德尔教授的"如何对其进行仿真--模拟验证技术教程“论文，这篇文章很有启发性。我正试图追踪布卢姆抛硬币协议的安全性证明，并提出了一些问题:在第41页的末尾，它说：“让b_1成为A发送的承诺c中提交的值(因为A是确定性的，这是第一个消息，这是一个固定的值)。”我不明白为什么我们可以假设A是确定性的？一般来说，安全证明是否适用于概率对手？

浏览 0提问于2019-04-03得票数 0

点击加载更多