theorem

0热度

2回答

我想在Coq中证明一个定理，并且我无法解决发生的问题。我试图解决： forall A B C: Prop, A\/(B\/C)->(A\/B)\/C. Proof. intros. destruct H as [H1 | [H2 | H3 ]]. Case H1. and in this last line I get the following error "Error: The re

1热度

1回答

如何在R中使用ChebyShev的不等式

我在R中有一个统计问题，我希望使用Chebyshev不等式定理，但我不知道如何实现它。例如：想象一下具有非正态分布的数据集，我需要能够使用切比雪夫不等式定理将NA值分配给落入该分布的某个下限内的任何数据点。例如，假设该分配的5％较低。这种分布是绝对零的单尾。我不熟悉如何去做这件事，以及什么样的例子可以帮助。如果知道这个问题很有帮助，那么这个问题是由大量不同数据集产生的，这些数据集具有所有不

0热度

1回答

Coq：实例化多重泛化？

Require Import ProofWeb. Variables x y z a : D. Variables p: D * D * D -> Prop. Theorem letra_a : (all x, p(a,x,x) /\ (all x, (all y, (all z, p(x,y,z))) -> p(f(x),y,f(z)))) -> p(f(a),a,f(a)). Pr

1热度

1回答

OTTER推论

我正在写OTTER输入文件，这是非常简单的： set(auto). formula_list(usable). all x y ([Nipah(x) & Encephalitis(y)] -> Causes(x,y)). exists x y (Nipah(x) & Encephalitis(y)). end_of_list. 我得到这个输出搜索： given clause #1

-1热度

1回答

我们如何知道Dijkstra算法是最好的单源最短路径算法？

我知道Dijkstra的算法是如何工作的，它可以在时间O（m + n log n）时间内运行。我们如何知道单源最短路径没有比这更好的算法？

0热度

5回答

函数返回：PHP

我不确定我错过了什么，但我无法正确输出$c。 <?php function pythThm($a, $b){ $a2 = pow($a, 2); $b2 = pow($b, 2); $c = sqrt($a2 + $b2); if(is_int($c)){return $c;} } echo pythThm(3, 4); //outputs no

-1热度

1回答

需要帮助的证明了这一点认识主定理

我真的很感激，如果有人可以帮助我几个问题，以下的每一个递归函数的定义，用主定理来确定其生长的渐近阶（即Big-Tetha）。如果你认为大师定理不适用于某个特定情况，那么应该正确解释原因。在这些情况下，您仍然可以为运行时间提供一个合理的上限（即Big-O）吗？请注意，基本情况都假定为常量。的（a）T（N）= T（N/2）+ 2^N （B）T（N）= 4T（N/2）+（N^1.5） - 1 （C）

-3热度

2回答

未知采样频率

如果有人给我一个波形，其最高频率对我来说是未知的，那么我将如何确定给定信号的采样率？

1热度

1回答

f（n）= n！的主定理？

我如何解决以下为f（n）= n！不符合我的知识适用于任何主定理的情况。 T（n）= 16T（n/4）+ n！

-1热度

1回答

FOL模型的一致性检查

我正在开发一阶逻辑模型。我想证明它是一致的。可能吗？有没有我可以用来做这件事的免费工具？或者这是不可能的，因为哥德尔定理？此致敬礼。