程序逻辑
概述
霍尔逻辑（英语：Hoare Logic），又称弗洛伊德-霍尔逻辑（Floyd–Hoare logic），是英国计算机科学家东尼·霍尔开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。
2 扩展释义
霍尔逻辑（英语：Hoare Logic），又称弗洛伊德-霍尔逻辑（Floyd–Hoare logic），是英国计算机科学家东尼·霍尔开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。
9 词语组词
相关词条
本词条最后更新于 2026-07-13 01:29:09
友情链接
抓书网
短词网
书号查询
星云网
大庆天气一周查询是什么意思？
百家号是什么意思？
JS打开新窗口Open函数参数生成工具是什么意思？
人间词话：灯火阑珊处 (12-19)是什么意思？
至纯科技：公司将持续做好主营业务是什么意思？
水果种类是什么意思？
新抚天气预报30天是什么意思？
将进酒是什么意思？
鹤山特产是什么意思？
升本科普是什么意思？
九宫格/多格切图 一款将图片切割为微博或朋友圈多宫格样式的图片的免费工具是什么意思？
放虎自卫是什么意思？
适合合唱的励志歌曲是什么意思？
同胞配对法是什么意思？
云开见日准确是什么生肖,猜打一个最佳生肖解谜!精选谜底解释释义是什么意思？
zhōng jí kuài jì中级会计是什么意思？