霍尔逻辑
概述
霍尔逻辑（英语：Hoare Logic），又称弗洛伊德-霍尔逻辑（Floyd–Hoare logic），是英国计算机科学家东尼·霍尔开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。
2 扩展释义
霍尔逻辑（英语：Hoare Logic），又称弗洛伊德-霍尔逻辑（Floyd–Hoare logic），是英国计算机科学家东尼·霍尔开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。
9 词语组词
相关词条
本词条最后更新于 2026-07-13 07:01:49
友情链接
抓书网
短词网
书号查询
星云网
办公室团队正能量句子（经典94句）是什么意思？
C语言代码格式化工具 格式化转换是什么意思？
查看吉林天气-今天天气 查看吉林天气 吉林是什么意思？
IP地址归属地查询 IP在线查询工具，查询本机IP是什么意思？
小川芹香 xiǎo chuān qín xiāng · 是什么意思
温州特产是什么意思？
...是什么意思？
张米辰是什么意思？
在家酿酒特殊的许可证是什么意思？
党员作风整顿自我剖析材料(范例10篇)是什么意思？
宫崎早织是什么意思？
长海天气预报30天是什么意思？
冬季钓鱼小餐条太多是什么意思？
川续断目是什么意思？
苹果简单易学的吃法是什么意思？
勹部是什么意思？