程序逻辑的读音:chéng xù luó ji
程序逻辑的拼音:cheng、xu、luo、ji
程序逻辑的简拼:CXLJ
程序逻辑的首字母:C
程序逻辑的首字拼音:cheng
分字拼音:序的拼音 程的拼音 辑的拼音 逻的拼音
霍尔逻辑(英语:Hoare Logic),又称弗洛伊德-霍尔逻辑(Floyd–Hoare logic),是英国计算机科学家东尼·霍尔开发的形式系统,这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。