用語

J-GLOBAL ID：200906065787073590

記号論理

数学
関連語 (2件)：

Boole代数 (Boolean algebra)
Boole代数について
- 「Boole代数」ですべてを検索
- この用語の用語情報を見る
超準解析 (hyper quasi-analysis)
超準解析について
- 「超準解析」ですべてを検索
- この用語の用語情報を見る

上位語 (1件)：

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

下位語 (2件)：

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

シソーラスmap：

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

前のページに戻る

TOP

BOTTOM