ホーア論理
(Hoare logic から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/11/21 02:23 UTC 版)
ホーア論理(ホーアろんり、英: Hoare logic)とは、公理的意味論の立場でプログラムの正当性について厳密に推論するために第一階述語論理を拡張した形式論理の言語を言う。
- 1 ホーア論理とは
- 2 ホーア論理の概要
- 3 脚注
- 4 参考文献
- 5 関連項目
ホーア論理と同じ種類の言葉
Weblioに収録されているすべての辞書からホーア論理を検索する場合は、下記のリンクをクリックしてください。
全ての辞書からホーア論理 を検索
- ホーア論理のページへのリンク