Wiki
Support
mar.io
公理的意味論
公理的意味論
(こうりてきいみろん、Axiomatic Semantics)とは、
数理論理学
に基づいてプログラムの正当性を証明する手法。
ホーア論理
と密接に関連している。
関連項目
代数的意味論
(英語版)
プログラム意味論
述語変換意味論
表示的意味論
操作的意味論
表明 (プログラミング)
表示
編集
ToC
関連項目
Trending
前田裕二
よよよちゃん
オレたちひょうきん族
大紅湍号事件
明石家さんま
薬屋のひとりごと
勢喜遊
常田大希
葬送のフリーレン
水樹奈々
イクイノックス
方広寺鐘銘事件
Recent Change
ルドルフ・バッヒャー
鄭麟趾
ニッセイ浜松町クレアタワー
日本生命浜松町クレアタワー
上田常光
スペーシアX (列車)
津波避難タワー
命山
中勢 (曖昧さ回避)
オムカル プラサド バイディア
オルモ・ロック
スポーツベット・アイオー
Medium
|
Medium