程序逻辑
chéng xù luó jí · ㄔㄥˊ ㄒㄩˋ ㄌㄨㄛˊ ㄐㄧˊ
- 字母
- cheng xu luo ji
- 首字母
- cxlj
- 注音符号
- ㄔㄥ ㄒㄩ ㄌㄨㄛ ㄐㄧ
- 注音首符
- ㄔㄒㄌㄐ
霍尔逻辑（英语：Hoare Logic），又称弗洛伊德-霍尔逻辑（Floyd–Hoare logic），是英国计算机科学家东尼·霍尔开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。
拆字
相关
文络智义词库，您的专属汉语词典。海量词条，精准释义，成语、近义词、反义词一键查询。专业友好的界面，让词语学习更高效。
热门组词
链接
抓书网 短词网 书号查询 星云网 【详情】是什么意思？ 志光镇是什么意思？ 26画是什么意思？ 广西南宁中山路美食街在哪里/广西南宁中山路美食街在哪里啊是什么意思？ 阻尼振动是什么意思？ 在线短地址还原是什么意思？ 助教心得是什么意思？ 油浴润滑 yóu yù rùn huá是什么意思？ 状态图是什么意思？ 一周的恋人 yī zhōu de liàn rén · 是什么意思 青岛天气预报30天是什么意思？ 维修保养是什么意思？ 天马豆腐是什么意思？ 张保民是什么意思？ 参观者购票白酒展会是什么意思？ 一部是什么意思？