Wiki Sun-Glaze
Support
mar.io
公理的意味論
公理的意味論
(こうりてきいみろん、Axiomatic Semantics)とは、
数理論理学
に基づいてプログラムの正当性を証明する手法。
ホーア論理
と密接に関連している。
関連項目
代数的意味論
(英語版)
プログラム意味論
述語変換意味論
表示的意味論
操作的意味論
表明 (プログラミング)
表示
編集
ToC
関連項目
Trending
徳川家康
井口理
安樂智大
井川慶
大紅湍号事件
勢喜遊
常田大希
旭富士正也
フライデー襲撃事件
葬送のフリーレン
鈴木亮平 (俳優)
方広寺鐘銘事件
Recent Change
ルドルフ・バッヒャー
鄭麟趾
ニッセイ浜松町クレアタワー
日本生命浜松町クレアタワー
上田常光
スペーシアX (列車)
津波避難タワー
命山
中勢 (曖昧さ回避)
オムカル プラサド バイディア
オルモ・ロック
スポーツベット・アイオー
Medium
|
Medium