theorem

    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
    logic theorem-proving theorem 2012-12-10

    -3熱度

    2回答

    未知採樣頻率

    如果有人給我一個波形，其最高頻率對我來說是未知的，那麼我將如何確定給定信號的採樣率？
    signal-processing sampling theorem 2011-11-22

    1熱度

    1回答

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

    我如何解決以下爲f（n）= n！不符合我的知識適用於任何主定理的情況。 T（n）= 16T（n/4）+ n！
    algorithm recurrence master theorem 2017-01-26

    0熱度

    2回答

    在Coq中證明一個定理

    我想在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
    coq theorem 2012-11-25

    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
    coq theorem 2012-08-30

    -1熱度

    1回答

    我們如何知道Dijkstra算法是最好的單源最短路徑算法？

    我知道Dijkstra的算法是如何工作的，它可以在時間O（m + n log n）時間內運行。我們如何知道單源最短路徑沒有比這更好的算法？
    algorithm theorem 2016-11-21

    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
    php function theorem pythagorean 2012-02-25

    -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）
    computer-science theory master computation theorem 2013-10-16

    -1熱度

    1回答

    FOL模型的一致性檢查

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

    1熱度

    1回答

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

    我在R中有一個統計問題，我希望使用Chebyshev不等式定理，但我不知道如何實現它。 例如： 想象一下具有非正態分佈的數據集，我需要能夠使用切比雪夫不等式定理將NA值分配給落入該分佈的某個下限內的任何數據點。例如，假設該分配的5％較低。這種分佈是絕對零的單尾。 我不熟悉如何去做這件事，以及什麼樣的例子可以幫助。 如果知道這個問題很有幫助，那麼這個問題是由大量不同數據集產生的，這些數據集具有所有不
    r statistics distribution theorem 2011-07-21
最新問題