用語

J-GLOBAL ID：200906095023063945

高階論理

数学
関連語 (1件)：

タブロー法 (Tableau approach)
タブロー法について
- 「タブロー法」ですべてを検索
- この用語の用語情報を見る

上位語 (1件)：

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

下位語 (2件)：

二階論理 (second-order logic)
二階論理について
- 「二階論理」ですべてを検索
- この用語の用語情報を見る
単項二階論理 (Monadic second-order logic)
単項二階論理について
- 「単項二階論理」ですべてを検索
- この用語の用語情報を見る

シソーラスmap：

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

前のページに戻る

TOP

BOTTOM