logic

    -1熱

    1答えて

    ファイルのメタデータを格納するためにMysqlにデータを格納するロジックを書く

    Lemme説明のシナリオ： ファイルのすべてのメタデータ、つまりタイトル、著者、件名、およびカスタム属性を取り出す必要があります（カスタム属性は固定されていません、固定されておらず、任意の数字にすることができます）。 MainTable： FILEID、ファイル名、タイトル、著者、件名 と（そこ番号と名前が固定されていないとして）カスタム属性を格納するために 私はDBなどを設計したこのStruvt
    mysql stored-procedures logic 2009-04-27

    1熱

    7答えて

    Webアプリケーション：クライアント側のドメインロジック

    クライアント側で行われるWebアプリケーションの作業がますます増えています。 UI操作、入力前検証（検証の最後の手段ではない）、ウィジェット、エフェクトなど ドメインロジックをJavascript/GWT/anythingで書かれたクライアント側に置くことにした場合それ以外は？サーバーはデータベースインフラストラクチャを提供するだけです。 これは実行可能ですか？このアイデアに対する経験、アドバイス
    web-applications dns logic client-side 2009-05-01

    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
最新の質問