- 链接地址:http://baike.baidu.com/item/%E7%A8%8B%E5%BA%8F%E9%80%BB%E8%BE%91/12608132
- 链接标题:霍尔逻辑_百度百科
- 所属网站:baike.baidu.com
- 被收藏次数:6430
霍尔逻辑(英语:Hoare Logic),又称弗洛伊德-霍尔逻辑(Floyd–Hoare logic),是英国计算机科学家东尼·霍尔开发的形式系统,这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。
版权声明:本文发布于特牛网址导航 内容均来源于互联网 如有侵权联系删除