【词语名称】霍尔逻辑（huoerluoji）
【词语拼音】huo er luo ji
【词语读音】huò ěr luó ji
【词语简拼】HELJ
【网络释义】 霍尔逻辑（英语：Hoare Logic），又称弗洛伊德-霍尔逻辑（Floyd–Hoare logic），是英国计算机科学家东尼·霍尔开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。
【分字组词】尔字组词 辑字组词 逻字组词 霍字组词
