查询结果
程序逻辑
chéng xù luó jí
ㄔㄥˊ ㄒㄩˋ ㄌㄨㄛˊ ㄐㄧˊ
「程序逻辑」是什么意思？
更新 2026-07-10 13:15:42
- 拼音字母cheng xu luo ji
- 首字母cxlj
- 注音符号ㄔㄥ ㄒㄩ ㄌㄨㄛ ㄐㄧ
扩展释义
霍尔逻辑（英语：Hoare Logic），又称弗洛伊德-霍尔逻辑（Floyd–Hoare logic），是英国计算机科学家东尼·霍尔开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。
拆字组词
相关词语
- 三插头查含义
- 不锈管查含义
- 不嫁情夫查含义
- 傅海林查含义
- 傲剑屠神查含义
- 内科南查含义
- 农村道路查含义
- 刘殿奎查含义
- 压花玻璃查含义
- 城府深密查含义
- 地血香查含义
- 大三弦查含义
- 夺命金查含义
- 彩印查含义
- 张兴涛查含义
- 张金俊查含义
- 慈悲喜舍查含义
- 执迷不悟查含义
- 星耀镇查含义
- 月幽查含义
- 李昊洋查含义
- 欧阳奋强查含义
- 模方程查含义
- 永丰社区查含义
- 温特图尔查含义
- 猜中查含义
- 瓦同缘蝽查含义
- 申佳查含义
- 白桥乡查含义
- 箭竿竹查含义
- 老左查含义
- 缢蛏查含义
- 舞爪张牙查含义
- 谢振中查含义
- 财政后备基金查含义
- 避世绝俗查含义
- 阴差阳错查含义
- 陈雅婷查含义
- 陈洪佳查含义
- 青塘村查含义
- 题月查含义
- 高梁碧查含义
- 龙胜钓樟查含义
- 宁河县水务局查含义
- 衔烛之龙查含义
- 姆卡旦达查含义
- 火影评书查含义
- 高崎榛名查含义
- 蘑菇意大利面查含义
- 海带方便食品查含义