constructive logic
plural of boysenberry
plural of dictionary attack
(logic) Any kind of logic in which any proof of existence can be converted into an algorithm that constructs the mathematical object which it claims to exist.
plural of quassinoid
構成的論理では、ある対象が存在するという証明は、主張されている対象を構成する方法、すなわちそれを生成するアルゴリズムを示さなければなりません。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
