logic

    3熱

    6答えて

    論理式パーサー

    （（VariableA - > VariableB）AND NOT VariableC） パーサーは、与えられた結果がtrueかfalseかを返すことができるはずです変数の値 基本的に、式には変数、論理演算子（または、および含意、同値、否定および括弧）のみが含まれます。 この種類のパーサー（ASTツリーまたは逆ポーランド記法を使用）を実装する最善の方法は何ですか？あるいは、すでに仕事をすることがで
    parsing logic expression 2009-05-05

    0熱

    3答えて

    誰もが、私は次の文のためcontrapositiveを構築しようとしているcontrapositive

    を説明することができます：Aは0またはBが0である場合には、* Bはここで0 あるは私の試みです：の場合* Bは、その後、Aが0またはBではない、0でない元のステートメントが真であるが、両方と Bのためには非ゼロでなければならないので、contrapositiveは偽ではない0 れます* Bが非ゼロである...私は何か間違っているのですか？
    math logic discrete-mathematics truthtable 2009-05-17

    1熱

    5答えて

    プログラミングの予測ロジック？

    脳波を読み取る技術（すでにある程度存在している）が利用可能になるため、私たちは物理入力（キーボード）に頼らざるを得ないと多くの人が考えていると私は考えていました。とにかく、私はこれについて空想していましたが、プログラマーが自分のコードにロジックを実装して、ユーザーの意図を正確に予測し、必要のない目的の操作を実行できるかどうか人間の相互作用のために。私は具体的な何かを探していない、私はちょうど誰の考
    artificial-intelligence logic prediction predict 2009-05-21

    3熱

    2答えて

    カスタードスワンプパズルのピクシーズ

    （リッチブラッドショーのおかげで） 次のパズルの最適な戦略を探しています。 新しい妖精の王様として、王国のカスタード・スワンプをマップするのはあなたの義務です。 沼は穏やかな霧で覆われており、全体にはカスタード島が散在しています。 沼の向こうにあなたのピクシーを送ることができ、各ポイントで低いか高いかを飛ぶように指示できます。 ピクサーがカスタードの上を飛び回ると、それは気を散らし、シーケンスを完
    algorithm language-agnostic logic puzzle lower-bound 2009-05-21

    2熱

    1答えて

    具体的なドメインを使って説明するのは正確ですか？

    私は "具体的なドメイン"の正式な定義を読んだことがありますが、まだそれほど得意ではありません。 誰かが私にそれを簡単に説明することができますか？ この定義は、Ullrich Hustadt、Boris Motik、Ulrike Sattlerの Reasoning in Description Logics with a Concrete Domain in the Framework of R
    logic 2009-05-23

    3熱

    5答えて

    NOR論理演算子とは何ですか？

    がもです：！ （AまたはB） AまたはB （AとB）他の 何か！！の！？
    language-agnostic logic boolean 2009-05-27

    2熱

    1答えて

    "someValuesFrom"と "allValuesFrom"の違いは何ですか？

    説明ロジックでは、「someValuesFrom」と「allValuesFrom」の違いは何ですか？ つまり、（限定された存在量の定量化）と（値の制限）の違い。 例えば、この点を考慮してください。 Δ= {A、B、C、D、E} EXT（B）= {< C、D>} EXT（R）= {< a> b>、< a、c>、< d、c>、< c、e>} したがって、以下の違いは何ですか？ ext（∃R.B）= ？
    math logic owl description-logic 2009-05-27

    1熱

    1答えて

    孤立したEXISTS句のskolemisationはどのように機能しますか？

    私が持っている場合と同様に式：EはFAの外にある場合 と交換してください：（=が存在するFA =すべての場合/ E） FAx FAy (Ez(!A(x,z) v !A(y,z)) v B(x,y)) skolemisationの のルールがあると言います定数または EがFAの内側にある場合FAの外側のすべての変数を引数として含む新しい関数で置換されます。 この場合、私は何をしますか？ Exis
    logic satisfiability conjunctive-normal-form 2009-05-27

    2熱

    2答えて

    アルファベット順リストを作成するには？

    こんにちはpicture に示したように、私はアルファを実装しようと列 してリストを命じた。しかし、私のアルゴリズムが明確でないと、おそらく誰かが私の結果では string[] letters = new string[] { "A", "B", "C", "D", "E", "F", "G", "H", "I", "J", "K", "L", "M", "N", "O", "P", "
    c# asp.net-mvc algorithm logic 2009-05-30

    0熱

    2答えて

    複数のブラウザのWindows同期

    インラインチャットを作成しようとしています。私のサイトの2つのウィンドウが開いているときに問題が発生します。そのため、私のスクリプトは新しいメッセージをリクエストしたウィンドウに送ります（単純なポーリングを使用している間は、後で彗星に移動します）。 私は考えていない良いテクニックがあるので、両方のブラウザウィンドウにメッセージを送信できますか？現在、私は読んでフラグを使用しているので、メッセージが
    language-agnostic weblogic logic 2009-06-12
最新の質問