你
请解释一下「霍尔逻辑」这个词的含义。
助手
霍尔逻辑
huò ěr luó jí · ㄏㄨㄛˋ ㄦˇ ㄌㄨㄛˊ ㄐㄧˊ
huo er luo ji
helj
ㄏㄨㄛ ㄦ ㄌㄨㄛ ㄐㄧ
2026-07-10 20:14:48
扩展释义
霍尔逻辑（英语：Hoare Logic），又称弗洛伊德-霍尔逻辑（Floyd–Hoare logic），是英国计算机科学家东尼·霍尔开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。