题目
更新时间：2026-06-26 03:26:00
求解答，词语程序逻辑是什么意思？再说说程序逻辑有什么含义？答案
程序逻辑的词语属性
拼音chéng xù luó jí
拼音字母cheng xu luo ji
拼音首字母cxlj
注音ㄔㄥˊ ㄒㄩˋ ㄌㄨㄛˊ ㄐㄧˊ
注音符号ㄔㄥ ㄒㄩ ㄌㄨㄛ ㄐㄧ
注音首符号ㄔㄒㄌㄐ
程序逻辑的词语解释
程序逻辑[ chéng xù luó jí ][ ㄔㄥˊ ㄒㄩˋ ㄌㄨㄛˊ ㄐㄧˊ ]
霍尔逻辑（英语：Hoare Logic），又称弗洛伊德-霍尔逻辑（Floyd–Hoare logic），是英国计算机科学家东尼·霍尔开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。
LHBSX汉语词典 - 词语成语大全
欢迎使用LHBSX汉语词典！我们提供海量词语、成语、近义词、反义词及组词查询。专业释义，精准全面，助您轻松掌握汉语词汇。如有疑问，欢迎反馈。