公理的意味論

ウィキペディア

公理的意味論

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/08/25 16:02 UTC 版)

公理的意味論（こうりてきいみろん、Axiomatic Semantics）とは、数理論理学に基づいてプログラムの正当性を証明する手法。ホーア論理と密接に関連している。

関連項目

• 代数的意味論
• プログラム意味論
• 述語変換意味論
• 表示的意味論
• 操作的意味論
• 表明 (プログラミング)

ウィキペディア小見出し辞書

公理的意味論

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/14 16:23 UTC 版)

「形式手法」の記事における「公理的意味論」の解説

公理的意味論では、システムがある処理を行う前と後の（真なる）状態によってシステムの意味を表現する。この場合、古典的論理学と関係が深い。しかし、単に実行前と実行後の状態を示しただけで実際にシステムが何をするかを表現したことになるのかとの疑念も言われている。