题目
更新时间：2024-05-09 21:05:55
求解答，词语霍尔逻辑是什么意思？再说说霍尔逻辑有什么含义？答案
霍尔逻辑的词语属性
拼音huò ěr luó ji
拼音字母huo er luo ji
拼音首字母helj
霍尔逻辑的百科含义
霍尔逻辑（英语：Hoare Logic），又称弗洛伊德-霍尔逻辑（Floyd–Hoare logic），是英国计算机科学家东尼·霍尔开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。