Loading AI tools
来自维基百科,自由的百科全书
公理语义学(Axiomatic semantics)是使用数理逻辑来证明程序正确性。程序中的命令的意义描述是通过对程序状态(state)的断言(assertion)效果。断言是逻辑语句——带变量的谓词,而这些变量定义了程序的状态。
此条目没有列出任何参考或来源。 (2020年10月22日) |
公理语义学的一个实例是霍尔逻辑。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.