霍尔逻辑 编辑
霍尔逻辑，又称弗洛伊德-霍尔逻辑，是英国计算机科学家东尼·霍尔开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。
1
相关
守卫命令语言是艾兹赫尔·戴克斯特拉为谓词变换语义定义的一门语言。它以精简方式组合了编程概念，它们处在以某种实际的编程语言书写程序之前。它的简单性使得采用霍尔逻辑证明程序的正确性更加容易。
查尔斯·安东尼·理查德·霍尔爵士，昵称为东尼·霍尔，生于大英帝国英属锡兰可伦坡，英国计算机科学家，图灵奖得主。他设计了快速排序算法、霍尔逻辑、交谈循序程式。
查尔斯·安东尼·理查德·霍尔爵士，昵称为东尼·霍尔，生于大英帝国英属锡兰可伦坡，英国计算机科学家，图灵奖得主。他设计了快速排序算法、霍尔逻辑、交谈循序程式。
查尔斯·安东尼·理查德·霍尔爵士，昵称为东尼·霍尔，生于大英帝国英属锡兰可伦坡，英国计算机科学家，图灵奖得主。他设计了快速排序算法、霍尔逻辑、交谈循序程式。
查尔斯·安东尼·理查德·霍尔爵士，昵称为东尼·霍尔，生于大英帝国英属锡兰可伦坡，英国计算机科学家，图灵奖得主。他设计了快速排序算法、霍尔逻辑、交谈循序程式。