「概念記法」を解説文に含む見出し語の検索結果(41～50/95件中)
アルゴンヌ国立研究所は1960年代以降2000年代まで、自動定理証明のリーダーだった。自動定理証明（じどうていりしょうめい、英: automated theorem proving, ATP）...
アルゴンヌ国立研究所は1960年代以降2000年代まで、自動定理証明のリーダーだった。自動定理証明（じどうていりしょうめい、英: automated theorem proving, ATP）...
量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。概要例えば、算術において、「全ての自...
量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。概要例えば、算術において、「全ての自...
量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。概要例えば、算術において、「全ての自...
量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。概要例えば、算術において、「全ての自...
量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。概要例えば、算術において、「全ての自...
量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。概要例えば、算術において、「全ての自...
量化（りょうか、英: Quantification）とは、言語や論理学において、論理式が適用される（または満足される）議論領域の個体の「量」を指定すること。概要例えば、算術において、「全ての自...
ラッセルのパラドックス（英: Russell's paradox）とは、素朴集合論において、自身を要素として持たない集合全体からなる集合の存在を認めると矛盾が導かれるというパラドックス。バート...