logic

    2熱

    5答えて

    正規表現の論理

    私は、古いサイトから新しいサイトの同等のページへの着信リンクのリダイレクトを処理するための正規表現をまとめています。 着信リンク： /reservations/inn_details.asp?num=717 私はバックエンドでそれを行う必要はありませんので、私は正規表現で次のような状況に対処することができます願っていますリダイレクトされたリンク： /reservations/property-de
    regex logic 2009-04-15

    2熱

    2答えて

    Coqに∀x（P（x）とQ（x））を書くにはどうすればいいですか？

    私はCoqを試していますが、私は何をしているのか完全にはわかりません。です： Theorem new_theorem : forall x, P:Prop /\ Q:Prop 相当 ： ∀x (P(x) and Q(x)) 編集：私は、彼らがいると思います。
    logic predicate proof coq 2009-04-15

    4熱

    8答えて

    数式を個々の変数の式に変換するにはどうすればよいですか？

    式を個々の変数の式に変換するにはどうすればよいですか？私は任意の式を処理できる機能を持っている、と私は、個々の変数の数式をさせていただきたいと思い c^2 = a^2 + b^2 ：私のような数学の方程式について考えています。上記の式は次のように生成します： a = (c^2 - b^2)^0.5 b = (c^2 - a^2)^0.5 c = (a^2 + b^2)^0.5 私もで始
    c# .net math logic expression-trees 2009-04-17

    2熱

    3答えて

    SQL関数質問

    この問題の検索パラメータが問題になるため、私自身は答えを見つけることができません。 ​​ 以上は、私が扱う必要がある1つの列の内容です。クエリの結果は、カッコ内の部分のみである必要があります。問題は、カッコ内に2つの情報を保存するプログラムが1つあります。その場合、最初の列にLATTER（info 1）を追加し、さらに2番目の列をinfo 2に追加する必要があります。 私は、たとえば、左括弧がいく
    sql tsql logic 2009-04-24

    -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

    0熱

    2答えて

    PHP：オブジェクト内に疑似結合メソッドを作成する

    クエリのような条件文を処理できるオブジェクトを作成しようとしています。これは、2つの条件を一緒に「結合」して、使用されている「結合」のタイプに基づいてそれらの間の依存関係を作成することができるためです。 public function addCondition (Condition $condition, $join = null) { $this->conditions[] = $c
    php oop logic conditional 2009-03-13

    2熱

    2答えて

    例外スタック内の特定の例外を見つけるためにどのように

    は「SomeExceptionは」 がされるタイプのものであり、私たちはex.InnerException.InnerException.InnerExceptionを想定してみましょう、私たちは特定の例外は「SomeException」例外スタックの一部であることを前提としていそう をしてみましょう例外スタック内の特定の例外タイプを見つけることを試みるC＃の組み込みAPIがありますか？ 例： S
    c# api exception logic 2009-03-19

    7熱

    9答えて

    論理ステートメントを減らすには？

    私は大学レベルのコースの1つでこのようなことをしていることを覚えていることができますし、何らかの種類の式があることを覚えていますが、私の心はそれを超えて失敗しています。 文を考える：（OR BまたはD）AND（OR C） 私はこれがに減少させることができることをかなり確信している：（AまたはBまたはDまたはc） しかし、私はそれをどのように証明するかについて覚えていません。 多分それは一連のロジッ
    computer-science logic equivalence 2009-03-20

    -1熱

    4答えて

    三項演算子とA、B、C以外の場合C.重要な違いはありますか？

    JavaScriptでこれを行うにはいくつかの方法があります。 最も重要かつ最も読みやすいと柔軟はおそらくです：*割り当てると連携し、読みにくくているだけで、他の if (a){ //b } else { //c } 何かがされています var foo = 'c'; if (a){ foo = 'b'; } 私の主な質問は、しかし、についてです私が考
    javascript conditional logic boolean 2009-03-24
最新の質問