公理语义学

✍ dations ◷ 2025-10-29 08:41:39 #公理语义学
公理语义学(Axiomatic semantics)是使用数理逻辑来证明程序正确性。程序中的命令的意义描述是通过对程序状态的断言(assertion)效果。断言是逻辑语句——带变量的谓词,而这些变量定义了程序的状态。公理语义学的一个实例是霍尔逻辑。

相关

  • 纤维素纤维素(cellulose)是一类有机化合物,其化学通式为(C6H10O5)n,是由几百至几千个β(1→4)连接的D-葡萄糖单元的线性链(糖苷键)组成的多糖。纤维素是绿色植物的、许多形式的藻类和卵
  • 美国国家职业安全卫生研究所美国国家职业安全卫生研究所(英语:National Institute for Occupational Safety and Health,简称NIOSH)是美国国内的一个联邦机构,负责对与工作相关的伤害和疾病进行研究以及提供
  • 可裂变物质在核工程中,可裂变物质指的是有能力维持核裂变的链式反应的一种物质。根据定义,可裂变物质可以通过任意能量的中子来维持链式反应,而主要的中子能量可能是慢中子或者快中子。这
  • 邻二氮菲邻二氮菲,即“1,10-邻二氮杂菲”,也称邻菲罗啉、邻菲啰啉、邻菲咯啉,是一种常用的氧化还原指示剂。它是一个双齿杂环化合物配体,类似于2,2'-联吡啶,会与大多数金属离子形成很稳定
  • 便士便士是镑的辅币中的最小币值。直到查理二世年代为止,英镑的便士以白银铸造。后来改用红铜材质。自1860年起,便士是黄铜材质的硬币。自1971年2月15日实行十进位制后,其值为一英
  • 苏丹黑B苏丹黑B(C29H24N6)是一种重氮脂肪染色剂,用于染中性的脂质冰冻切片和一些脂蛋白的石蜡切片。正常情况下为黑褐色或黑色粉末状。苏丹黑B是苏丹染剂之一,可用来提取指纹以及给成髓
  • 主编总编辑,也称总编、主编,是媒体事业之中,负责编辑、策画、指导新闻、指挥采访业务部门的主管。在较小型的媒体之中,总编辑常须自行参与编采业务;然而在较大的媒体事业,总编辑往往只
  • 受伤受伤或创伤,是生理创伤、损害,身体受外物力量侵害,身体功能丧失、流血、断裂、骨折等。在工作时的受伤,称为工伤;在运动时受伤,称为运动创伤,学科名为运动创伤学、运动医学,总称创伤
  • 唇裂唇裂与颚裂(英语:Cleft lip and cleft palate),常被合称为唇颚裂,是一系列包含唇裂(CL)、颚裂(CP)、或二者皆有的疾病(CLP)。唇颚裂常包含上颚裂到鼻腔,甚至裂到耳朵都有可能;裂口可能发
  • 胆总管胆管为胆汁由肝脏传送至十二指肠的一个管道。肝内的胆小管逐级合并成左、右肝管,出肝门再合成为肝总管;肝总管与胆囊管汇合成胆总管。肝细胞持续不断的制造胆汁浓缩并储存于胆