查询结果
霍尔逻辑
huò ěr luó jí
ㄏㄨㄛˋ ㄦˇ ㄌㄨㄛˊ ㄐㄧˊ
「霍尔逻辑」是什么意思？
更新 2026-07-18 07:13:17
- 拼音字母huo er luo ji
- 首字母helj
- 注音符号ㄏㄨㄛ ㄦ ㄌㄨㄛ ㄐㄧ
扩展释义
霍尔逻辑（英语：Hoare Logic），又称弗洛伊德-霍尔逻辑（Floyd–Hoare logic），是英国计算机科学家东尼·霍尔开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。
拆字组词
相关词语
- 三注三唱查含义
- 三角纹蝠蛾查含义
- 上刺刀查含义
- 不规则变星查含义
- 临边变暗查含义
- 卡尔顿科尔查含义
- 反叛查含义
- 奈韦拉平胶囊查含义
- 寻找罗拉查含义
- 存储论查含义
- 局部重力异常查含义
- 张启亚查含义
- 库容查含义
- 报告会查含义
- 暗影箭查含义
- 曾坤查含义
- 曾艳红查含义
- 李如刚查含义
- 李佳静查含义
- 根柢未深查含义
- 残颜魅妃查含义
- 泗沥镇查含义
- 海涛查含义
- 滇南天门冬查含义
- 王剑鸣查含义
- 矮灰毛豆查含义
- 神经大侠查含义
- 秦锐查含义
- 糖蜜草查含义
- 红色斑皿蛛查含义
- 股权转让查含义
- 耍奸查含义
- 诉前财产保全查含义
- 送花箴言查含义
- 银塘镇查含义
- 陶生查含义
- 顺源里查含义
- 青磐岩化查含义
- 魏建业查含义
- 鲨鱼胆查含义
- 森本秀查含义
- 帕罗尼查含义
- 纤美查含义
- 索马尔查含义
- 诺尔卡门查含义
- 赠毕四曜查含义
- 龙哥诗歌查含义
- 疯狂随想查含义
- 马永安查含义
- 胡那佰查含义