用語

J-GLOBAL ID：200906075470824219

述語論理

数学

論理学編 / 述語計算 / Pradikatenkalkul(]LGGer.[)
論理学編 / 述語論理学 / predicate logic
言語学編 / 述語計算 / predicate calculus

同義語 (3件)：

述語計算 (predicate calculus)
述語計算について
- 「述語計算」ですべてを検索
述語論理学 (predicate logic)
述語論理学について
- 「述語論理学」ですべてを検索
述語計算法 (predicate calculus)
述語計算法について
- 「述語計算法」ですべてを検索

関連語 (1件)：

Hoare論理 (Hoare logic)
Hoare論理について
- 「Hoare論理」ですべてを検索
- この用語の用語情報を見る

上位語 (1件)：

論理 (Logic)
論理について
- 「論理」ですべてを検索
- この用語の用語情報を見る

下位語 (6件)：

Horn節 (Horn clause)
Horn節について
- 「Horn節」ですべてを検索
- この用語の用語情報を見る
等式論理 (equational logic)
等式論理について
- 「等式論理」ですべてを検索
- この用語の用語情報を見る
一階論理 (first order logic)
一階論理について
- 「一階論理」ですべてを検索
- この用語の用語情報を見る
高階論理 (higher order logic)
高階論理について
- 「高階論理」ですべてを検索
- この用語の用語情報を見る
ファジィ記述論理 (fuzzy description logic)
ファジィ記述論理について
- 「ファジィ記述論理」ですべてを検索
- この用語の用語情報を見る

もっと見る

シソーラスmap：

シソーラスmap ※学術用語集由来のみの同義語は表示されません

前のページに戻る

TOP

BOTTOM