你
请解释一下「程序逻辑」这个词的含义。
助手
程序逻辑
chéng xù luó jí · ㄔㄥˊ ㄒㄩˋ ㄌㄨㄛˊ ㄐㄧˊ
cheng xu luo ji
cxlj
ㄔㄥ ㄒㄩ ㄌㄨㄛ ㄐㄧ
2026-07-11 22:53:12
扩展释义
霍尔逻辑（英语：Hoare Logic），又称弗洛伊德-霍尔逻辑（Floyd–Hoare logic），是英国计算机科学家东尼·霍尔开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。
友情链接
抓书网
短词网
书号查询
星云网
查看山西天气-云隙光今日+一周 查看山西天气 山西是什么意思？
英汉字典是什么意思？
台安天气预报30天是什么意思？
长沙天气预报30天是什么意思？
台中天气预报30天是什么意思？
哈尔滨天气预报30天是什么意思？
不虞之隙是什么意思？专家解读 权威解读「不虞之隙」的含义、读音与用法，一文读懂词语内涵。 bù yú zhī xì 2026-06-30 15:40:40
古宋牌酱包瓜是什么意思？
西周与秦朝的制度差异.docx是什么意思？
知屿是什么意思？
石家庄市后天天气是什么意思？
黄板乡是什么意思？专家解读 权威解读「黄板乡」的含义、读音与用法，一文读懂词语内涵。 huáng bǎn xiāng 2026-06-30 15:41:16
恺撒大帝 kǎi sā dà dì是什么意思？
牛头梗是什么意思？
怒江特产是什么意思？
查看吉林天气-湖州天气预报 查看吉林天气 吉林是什么意思？