// 词语查询结果 · output
霍尔逻辑
updated: 2026-07-13 03:37:40
释义
「霍尔逻辑」是什么意思？
| 词语 | 霍尔逻辑 |
|---|---|
| 拼音 | huò ěr luó jí |
| 拼音字母 | huo er luo ji |
| 拼音首字母 | helj |
| 注音 | ㄏㄨㄛˋ ㄦˇ ㄌㄨㄛˊ ㄐㄧˊ |
| 注音符号 | ㄏㄨㄛ ㄦ ㄌㄨㄛ ㄐㄧ |
扩展释义
霍尔逻辑（英语：Hoare Logic），又称弗洛伊德-霍尔逻辑（Floyd–Hoare logic），是英国计算机科学家东尼·霍尔开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。
工具
拆字组词
// 点击汉字查看组词列表
相关