用語

J-GLOBAL ID：200906096352946471

量化記号

電子計算機

言語学編 / 量化記号 / quantifier
論理学編 / 量記号 / quantifier , Quantor(]LGGer.[)
言語学編 / 数量詞 / quantifier
言語学編 / 限量詞 / quantifier
論理学編 / 量記号 / Quantor(]LGGer.[)

同義語 (7件)：

限量子 (quantifier)
限量子について
- 「限量子」ですべてを検索
限定記号 (quantifier)
限定記号について
- 「限定記号」ですべてを検索
限定作用素 1階述語論理 (quantifier)
限定作用素 1階述語論理について
- 「限定作用素 1階述語論理」ですべてを検索
限定子 (quantifier)
限定子について
- 「限定子」ですべてを検索
限量詞 (quantifier)
限量詞について
- 「限量詞」ですべてを検索

もっと見る

上位語 (1件)：

演算子 (operator (mathematics))
演算子について
- 「演算子」ですべてを検索
- この用語の用語情報を見る

下位語 (1件)：

限定記号消去 (Quantifier Elimination)
限定記号消去について
- 「限定記号消去」ですべてを検索
- この用語の用語情報を見る

シソーラスmap：

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

前のページに戻る

TOP

BOTTOM