东联词典 - 汉语词语查询

在线词语工具

// 词语查询结果 · output

程序逻辑

chéng xù luó jí · ㄔㄥˊ ㄒㄩˋ ㄌㄨㄛˊ ㄐㄧˊ

updated: 2026-07-10 22:39:24

释义

「程序逻辑」是什么意思?

词语程序逻辑
拼音chéng xù luó jí
拼音字母cheng xu luo ji
拼音首字母cxlj
注音ㄔㄥˊ ㄒㄩˋ ㄌㄨㄛˊ ㄐㄧˊ
注音符号ㄔㄥ ㄒㄩ ㄌㄨㄛ ㄐㄧ

扩展释义

霍尔逻辑(英语:Hoare Logic),又称弗洛伊德-霍尔逻辑(Floyd–Hoare logic),是英国计算机科学家东尼·霍尔开发的形式系统,这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。

工具

拆字组词

// 点击汉字查看组词列表

相关

相关词语