「Logic Programming」を解説文に含む見出し語の検索結果(71～80/428件中)
決定可能（けっていかのう、英: decidable）は、数理論理学または現代論理学において、論理式の集合のメンバーシップの決定をする実効的（effectiveな）方法が存在することを指す。決定...
決定可能（けっていかのう、英: decidable）は、数理論理学または現代論理学において、論理式の集合のメンバーシップの決定をする実効的（effectiveな）方法が存在することを指す。決定...
決定可能（けっていかのう、英: decidable）は、数理論理学または現代論理学において、論理式の集合のメンバーシップの決定をする実効的（effectiveな）方法が存在することを指す。決定...
アクターモデル（英: actor model）は、並行計算の数学的モデルの一種[1]。1973年、カール・ヒューイット、Peter Bishop、Richard Steiger...
カール・ヒューイット死没2022年12月7日カリフォルニア州アプトスプロジェクト:人物伝テンプレートを表示カール・ヒューイット（Carl E. Hewitt、? - 2022年12月7日[1&...
読み方：ろんりぷろぐらみんぐ【英】：logic programming 概要 知識や森羅万象の因果関係を論理記号と非論理記号を使って形式的に記述したものは論理式と呼ばれる. この中で一階述語論理式と呼...
読み方：ろんりぷろぐらみんぐ【英】：logic programming 概要 知識や森羅万象の因果関係を論理記号と非論理記号を使って形式的に記述したものは論理式と呼ばれる. この中で一階述語論理式と呼...
本項は数学の学術雑誌（英語版）（科学学術雑誌）の一覧である。目次アルファベット順 ABCDEFGHIJKLMNOPQRSTUVWXYZ 上位のジャーナル インパクト・ファクター オーストラリア数学会に...
線形論理（せんけいろんり、英: Linear logic）は、「弱化(weakening)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。「資源...
線形論理（せんけいろんり、英: Linear logic）は、「弱化(weakening)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。「資源...