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模型的一致性檢查

我正在開發一階邏輯模型。我想證明它是一致的。可能嗎？有沒有我可以用來做這件事的免費工具？或者這是不可能的，因爲哥德爾定理？此致敬禮。