用語

J-GLOBAL ID：201306045462969557

自然演算

電子計算機
同義語 (1件)：

自然演繹 (natural deduction)
自然演繹について
- 「自然演繹」ですべてを検索

関連語 (4件)：

推論 (inference)
推論について
- 「推論」ですべてを検索
- この用語の用語情報を見る
証明 (proof (evidence))
証明について
- 「証明」ですべてを検索
- この用語の用語情報を見る
積分 (integral)
積分について
- 「積分」ですべてを検索
- この用語の用語情報を見る
微分 (differential)
微分について
- 「微分」ですべてを検索
- この用語の用語情報を見る

上位語 (1件)：

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

シソーラスmap：

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

前のページに戻る

TOP

BOTTOM