程序逻辑
chéng xù luó jí
ㄔㄥˊ ㄒㄩˋ ㄌㄨㄛˊ ㄐㄧˊ
📖 词语释义
- 拼音字母cheng xu luo ji
- 首字母cxlj
- 注音符号ㄔㄥ ㄒㄩ ㄌㄨㄛ ㄐㄧ
- 更新2026-07-16 00:37:56
更多解释
霍尔逻辑（英语：Hoare Logic），又称弗洛伊德-霍尔逻辑（Floyd–Hoare logic），是英国计算机科学家东尼·霍尔开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。
✂️ 拆字组词
🔗 相关词语
友情链接
抓书网
短词网
书号查询
星云网
殷梨亭是什么意思？
环境小说是什么意思？
昂立教育是什么意思？
推理的迷宫读后感(合集十五篇)是什么意思？
一篇日记100字作文是什么意思？
春季红虫钓鱼调漂技巧是什么意思？
shén yī yīn yuè jiǔ bā 神一音乐酒吧是什么意思？
Escape编码/解码 一款在线的Escape在线编码/解码工具是什么意思？
岫岩天气预报30天是什么意思？
车贷计算器 在线车贷计算工具是什么意思？
情愿的反义词这个咋组词是什么意思？
长沙天气预报30天是什么意思？
高中生寒假日记三十篇500字(通用八篇)是什么意思？
树脂镜片是什么意思？
查看新疆天气-阜新天气预报 查看新疆天气 新疆是什么意思？
九战九胜是什么意思？