「記号・定数」を解説文に含む見出し語の検索結果(11~20/29件中)
EDIF(イーディフ、イーディーアイエフ、Electronic Design Interchange Format)は電子設計データ交換用のフォーマット(データ形式)である。電子回路の回路図またはネッ...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/03/25 04:10 UTC 版)「一階述語論理」の記事における「命題論理との差異」の解説命題論理では文を構成する最も基本...
読み方:ろんりぷろぐらみんぐ【英】:logic programming 概要 知識や森羅万象の因果関係を論理記号と非論理記号を使って形式的に記述したものは論理式と呼ばれる. この中で一階述語論理式と呼...
読み方:ろんりぷろぐらみんぐ【英】:logic programming 概要 知識や森羅万象の因果関係を論理記号と非論理記号を使って形式的に記述したものは論理式と呼ばれる. この中で一階述語論理式と呼...
読み方:ろんりぷろぐらみんぐ【英】:logic programming 概要 知識や森羅万象の因果関係を論理記号と非論理記号を使って形式的に記述したものは論理式と呼ばれる. この中で一階述語論理式と呼...
原始帰納的算術(げんしきのうてきさんじゅつ、英: primitive recursive arithmetic)またはPRAは自然数の理論の量化子なしの形式化である。これはトアルフ・スコーレム...
原始帰納的算術(げんしきのうてきさんじゅつ、英: primitive recursive arithmetic)またはPRAは自然数の理論の量化子なしの形式化である。これはトアルフ・スコーレム...
原始帰納的算術(げんしきのうてきさんじゅつ、英: primitive recursive arithmetic)またはPRAは自然数の理論の量化子なしの形式化である。これはトアルフ・スコーレム...
一階述語論理(いっかいじゅつごろんり、英: first-order predicate logic)とは、個体の量化のみを許す述語論理 (predicate logic) である。述語論理とは...
一階述語論理(いっかいじゅつごろんり、英: first-order predicate logic)とは、個体の量化のみを許す述語論理 (predicate logic) である。述語論理とは...