请问「程序逻辑」是什么意思？
2026-07-10 21:28:11
「程序逻辑」读音
拼音 chéng xù luó jí，注音 ㄔㄥˊ ㄒㄩˋ ㄌㄨㄛˊ ㄐㄧˊ
| 拼音字母 | cheng xu luo ji |
|---|---|
| 拼音首字母 | cxlj |
| 注音符号 | ㄔㄥ ㄒㄩ ㄌㄨㄛ ㄐㄧ |
| 注音首符号 | ㄔㄒㄌㄐ |
「程序逻辑」释义
扩展释义 霍尔逻辑（英语：Hoare Logic），又称弗洛伊德-霍尔逻辑（Floyd–Hoare logic），是英国计算机科学家东尼·霍尔开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。
推荐