程序逻辑
chéng xù luó jí
ㄔㄥˊ ㄒㄩˋ ㄌㄨㄛˊ ㄐㄧˊ
📖 词语释义
- 拼音字母cheng xu luo ji
- 首字母cxlj
- 注音符号ㄔㄥ ㄒㄩ ㄌㄨㄛ ㄐㄧ
- 更新2026-07-14 16:38:56
更多解释
霍尔逻辑（英语：Hoare Logic），又称弗洛伊德-霍尔逻辑（Floyd–Hoare logic），是英国计算机科学家东尼·霍尔开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。
✂️ 拆字组词
🔗 相关词语
🐾 热门组词
友情链接
抓书网
短词网
书号查询
星云网
折线图 在线制作折线图，像做表格一样制作可视化图表，支持导出静态或动态图表是什么意思？
托诸空言是什么意思？
钟楠是什么意思？
体内“邪气”最怕你拍这8处地方！每天20分钟，整个人都轻松了！是什么意思？
隋代是什么意思？
广德特产是什么意思？
chū shī wú míng 出师无名是什么意思？
百家号是什么意思？
沙格司亭是什么意思？
扬州包子:传统与现代的完美融合是什么意思？
12笔画的字是什么意思？
徐富荣是什么意思？
世上村是什么意思？
济南天气预报30天是什么意思？
阳台美人月季能长多高是什么意思？
TXT转PDF 该工具可以将TXT文本格式转换成PDF格式的文档，方便用户保存、分享和打印。是什么意思？