用語

J-GLOBAL ID：201106099650240279

Hoare論理

数学
関連語 (2件)：

プログラム検証 (program verification)
プログラム検証について
- 「プログラム検証」ですべてを検索
- この用語の用語情報を見る
述語論理 (predicative logic)
述語論理について
- 「述語論理」ですべてを検索
- この用語の用語情報を見る

上位語 (1件)：

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

シソーラスmap：

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

前のページに戻る

TOP

BOTTOM