查询结果
程序逻辑
chéng xù luó jí
ㄔㄥˊ ㄒㄩˋ ㄌㄨㄛˊ ㄐㄧˊ
「程序逻辑」是什么意思？
更新 2026-07-19 01:03:16
- 拼音字母cheng xu luo ji
- 首字母cxlj
- 注音符号ㄔㄥ ㄒㄩ ㄌㄨㄛ ㄐㄧ
扩展释义
霍尔逻辑（英语：Hoare Logic），又称弗洛伊德-霍尔逻辑（Floyd–Hoare logic），是英国计算机科学家东尼·霍尔开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。
拆字组词
相关词语
- 万物一府查含义
- 上界失效频率查含义
- 低血压查含义
- 传送天书查含义
- 博丁查含义
- 同色查含义
- 天使和恶魔查含义
- 大便秘结查含义
- 孩子和我查含义
- 巴比龙查含义
- 日印查含义
- 捕头查含义
- 板突羽齿舟蛾查含义
- 沉淀处理查含义
- 沙田公寓查含义
- 清咽润喉丸查含义
- 液体燃料查含义
- 白旄镇查含义
- 给你幸福查含义
- 聂志鸿查含义
- 腾冲污灯蛾查含义
- 苏卫国查含义
- 蜘蛛星云查含义
- 豆渣猪头查含义
- 郭兴查含义
- 钟花清风藤查含义
- 雪中一吻查含义
- 風清月朗查含义
- 马道村查含义
- 鬼书查含义
- 鱼沉雁静查含义
- 黄明兴查含义
- 锤头线查含义
- 撒手慈悲查含义
- 汽车安全车身查含义
- 虾仁冬菇水饺查含义
- 大众家常菜查含义
- 一号会所查含义
- 巴帝斯塔查含义
- 顶棚花查含义
- 暗耳汲蜜鸟查含义
- 芳香菜查含义
- 日本毛翼虫查含义
- 麦巷风鳝查含义
- 陵西一寸查含义
- 七疝丸查含义
- 滋筋舒肝汤查含义
- 罗东升查含义
- 卿三彬查含义
- 杨大雷公查含义