// 词语查询结果 · output
程序逻辑
updated: 2026-07-16 04:09:10
释义
「程序逻辑」是什么意思？
| 词语 | 程序逻辑 |
|---|---|
| 拼音 | chéng xù luó jí |
| 拼音字母 | cheng xu luo ji |
| 拼音首字母 | cxlj |
| 注音 | ㄔㄥˊ ㄒㄩˋ ㄌㄨㄛˊ ㄐㄧˊ |
| 注音符号 | ㄔㄥ ㄒㄩ ㄌㄨㄛ ㄐㄧ |
扩展释义
霍尔逻辑（英语：Hoare Logic），又称弗洛伊德-霍尔逻辑（Floyd–Hoare logic），是英国计算机科学家东尼·霍尔开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。
工具
拆字组词
// 点击汉字查看组词列表
相关
相关词语
友情链接：
抓书网
短词网
书号查询
星云网
查看贵州天气-西安天气预报 查看贵州天气 贵州是什么意思？
爷爷的检讨书（汇总十七篇）是什么意思？
百家号是什么意思？
膳食是什么意思？
千浮浪 qiān fú làng是什么意思？
蠕墨铸铁是什么意思？
在线图片坐标拾取工具是什么意思？
查看台湾天气-合肥天气预报 查看台湾天气 台湾是什么意思？
冬季钓鱼寻找鱼窝是什么意思？
和礼红是什么意思？
长海天气预报30天是什么意思？
侯川川 汉语词语 · 释义文档是什么意思？
逃离暗影最新版1.307 版本 飞行射击 / 186.2M 2026-03-06 18:30:03 下载是什么意思？
鼠是什么意思？
七夕适合发给姐妹的句子（分享三十六句）是什么意思？
高霞的生活是什么意思？