查询结果
霍尔逻辑
huò ěr luó jí
ㄏㄨㄛˋ ㄦˇ ㄌㄨㄛˊ ㄐㄧˊ
「霍尔逻辑」是什么意思？
更新 2026-07-12 01:56:16
- 拼音字母huo er luo ji
- 首字母helj
- 注音符号ㄏㄨㄛ ㄦ ㄌㄨㄛ ㄐㄧ
扩展释义
霍尔逻辑（英语：Hoare Logic），又称弗洛伊德-霍尔逻辑（Floyd–Hoare logic），是英国计算机科学家东尼·霍尔开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。
拆字组词
相关词语
- 七房查含义
- 东湖林语查含义
- 仁者乐山查含义
- 保质查含义
- 倍道而进查含义
- 冷阴极离子源查含义
- 十一切处查含义
- 受限语言查含义
- 压阑石查含义
- 四刺端糠虾查含义
- 多刺管吻海龙查含义
- 外商独资企业查含义
- 太兴查含义
- 夫妻和顺榄查含义
- 审曲面势查含义
- 家具与环境查含义
- 家势中落查含义
- 平衡树查含义
- 峨眉龙胆查含义
- 新桥站查含义
- 斩魔刀查含义
- 斗志昂扬查含义
- 月明楼查含义
- 极速辛格查含义
- 狮虎当道查含义
- 王聆燕查含义
- 神奇七侠查含义
- 红南京查含义
- 老曲盘查含义
- 胶胶膊膊查含义
- 被发跣足查含义
- 蜜柑草查含义
- 褐藻糖胶查含义
- 袁海军查含义
- 越南盾查含义
- 闭门塞户查含义
- 非正式会谈查含义
- 高寺镇查含义
- 黄刺梅查含义
- 默示条款查含义
- 龙福花园查含义
- 黄桂云查含义
- 木腔查含义
- 大奔查含义
- 弘量查含义
- 苦橙油查含义
- 豚鹿印支亚种查含义
- 七情杀查含义
- 投资能力评估查含义
- 佛心寺查含义