查询结果
程序逻辑
chéng xù luó jí
ㄔㄥˊ ㄒㄩˋ ㄌㄨㄛˊ ㄐㄧˊ
「程序逻辑」是什么意思？
更新 2026-07-14 20:12:17
- 拼音字母cheng xu luo ji
- 首字母cxlj
- 注音符号ㄔㄥ ㄒㄩ ㄌㄨㄛ ㄐㄧ
扩展释义
霍尔逻辑（英语：Hoare Logic），又称弗洛伊德-霍尔逻辑（Floyd–Hoare logic），是英国计算机科学家东尼·霍尔开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。
拆字组词
相关词语
- 三端测量查含义
- 二值图像查含义
- 侉声野气查含义
- 农资查含义
- 分手要狠查含义
- 周晓光查含义
- 嗜铬粒蛋白查含义
- 女子合唱团查含义
- 孙纯田查含义
- 小象查含义
- 尚立昕查含义
- 张帅帅查含义
- 感觉系统查含义
- 投资咨询查含义
- 扬州之战查含义
- 时尚座驾查含义
- 樊庆查含义
- 段亚峰查含义
- 水月观音查含义
- 灌溉用水查含义
- 游戏星期一查含义
- 白鹤楼查含义
- 秘密与谎言查含义
- 紫血杜鹃查含义
- 罗萨里奥中央查含义
- 背头查含义
- 能源效率贷款查含义
- 舞台音响查含义
- 莱宁查含义
- 胡晓飞查含义
- 荷叶三蒸查含义
- 西子湾查含义
- 蠹国耗民查含义
- 迷妄查含义
- 金泉广场查含义
- 迪氏异康吉鳗查含义
- 陆和九查含义
- 陈泓池查含义
- 黑腹瘦粉蝇查含义
- 麻辣鸭查含义
- 吉兰泰铁路查含义
- 越野宏明查含义
- 土田聪史查含义
- 田中久仁彦查含义
- 布鲁斯氏菌病查含义
- 秋羽迎霜查含义
- 加油大魔王查含义
- 毫糯索查含义
- 优美鹦鹉查含义
- 瘪螺痧查含义