词语
程序逻辑
chéng xù luó jí · ㄔㄥˊ ㄒㄩˋ ㄌㄨㄛˊ ㄐㄧˊ · 更新 2026-07-01 07:28:44
基本属性
- 拼音字母cheng xu luo ji
- 拼音首字母cxlj
- 注音符号ㄔㄥ ㄒㄩ ㄌㄨㄛ ㄐㄧ
- 注音首符号ㄔㄒㄌㄐ
词语解释
霍尔逻辑（英语：Hoare Logic），又称弗洛伊德-霍尔逻辑（Floyd–Hoare logic），是英国计算机科学家东尼·霍尔开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。