predicate calculus
「 predicate calculus」の意味 意味
- 名 述語論理、述語計算
「 predicate calculus」の例文 例文
「 predicate calculus」のコアイメージ コアイメージ
述語論理は対象の性質や関係を述語で表し推論を行う形式体系
「 predicate calculus」の英英 英英
A formal logical system that represents properties and relations by predicates and supports formal inference using variables and quantifiers.
「 predicate calculus」の語源 語源
predicate calculusは、'predicate'（述語、対象の性質を示す語）と'calculus'（形式的な計算体系）を組み合わせた語で、19〜20世紀の数理論理の発展過程で論理体系を指す用語になった
「 predicate calculus」のコラム コラム
- calculusは数学の微積分と同じ語だが述語論理では形式体系を意味し、一階述語論理など具体的な体系名とともに用いられる
おすすめの単語帳
1 / 1
