(mathematics, logic) implies a negative and is implied by a negative; i.e. B implies not-A and not-B implies A
precisely unless
そのアルゴリズムは、状態グラフでサイクルに遭遇しない場合に限り終了します。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★