霍尔逻辑
huò ěr luó jí · ㄏㄨㄛˋ ㄦˇ ㄌㄨㄛˊ ㄐㄧˊ
- 字母
- huo er luo ji
- 首字母
- helj
- 注音符号
- ㄏㄨㄛ ㄦ ㄌㄨㄛ ㄐㄧ
- 注音首符
- ㄏㄦㄌㄐ
霍尔逻辑（英语：Hoare Logic），又称弗洛伊德-霍尔逻辑（Floyd–Hoare logic），是英国计算机科学家东尼·霍尔开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。
拆字
相关
文络智义词库，您的专属汉语词典。海量词条，精准释义，成语、近义词、反义词一键查询。专业友好的界面，让词语学习更高效。
链接
抓书网 短词网 书号查询 星云网 yīng xióng huí guī英雄回归是什么意思？ 江西天气是什么意思？ 热门检讨书: 学生反省错误检讨书其四是什么意思？ 王是什么意思？ 描写海滩晚霞的优美句子(精华100句)是什么意思？ 百家号是什么意思？ 永春特产是什么意思？ 虎项金铃是什么意思？ 许烟华是什么意思？ 太湖特产是什么意思？ 南京天气预报30天是什么意思？ 开发是什么意思？ 闫继杰是什么意思？ ABB式是什么意思？ 查看海南天气-无锡天气预报 查看海南天气 海南是什么意思？ 南昌天气预报30天是什么意思？