公理语义学

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

相关

  • 生物地理学生物地理学是生物学与地理学间的边缘学科。研究生物在时间和空间上分布的一门学科。即生物群落及其组成成分,它们在地球表面的分布情况及形成原因。生物地理学研究范围包括:动
  • 国家侦查局美国国家侦察局(National Reconnaissance Office,NRO),位于美国维吉尼亚州,是美国的16个情报机构之一;负责为美国政府设计、组装并发射侦察卫星。 并协调、收集和分析从中央情报
  • 细菌过滤率‎细菌过滤效率(Bacterial Filtration Efficiency)也称为细菌过滤率,简称BFE,是量测过滤器(例如外科口罩)阻隔细菌穿透的能力。其结果会以表示过滤率的百分比表示,和阻隔细菌穿透的纤
  • 雌酮雌酮(英语:Estrone或oestrone,E1,或译为雌酚酮、雌激素酮)是一种较弱的雌性甾体性激素,是三种主要的内源性雌激素之一,另外两种为雌二醇和雌三醇。雌酮等雌激素的生物合成从胆固醇
  • 曲安奈德曲安奈德(英语:Triamcinolone acetonide)是一种用来治疗各种皮肤病或减轻口疡带来不适的合成皮质类固醇。它是更有效的去炎松,大约是强的松的八倍。
  • 有机磷中毒磷酸酯中毒或有机磷中毒(英语:Organophosphate poisoning),指由磷酸酯(英文简称为 OP)所导致的中毒。磷酸酯可用于杀虫剂、药物及神经性毒剂。中毒症状有唾液及泪液分泌增加、腹泻
  • Proceedings of the National Academy of Sciences《美国国家科学院院刊》(英语:Proceedings of the National Academy of Sciences of the United States of America,通常简称为 PNAS;PNAS USA)是美国国家科学院的官方学术周刊。
  • 印度-伊朗语族印度-伊朗语族(英语:Indo-Iranian languages,或Indo-Iranic languages),又称雅利安语族(英语:Aryan languages)是印欧语系今日仍在使用的语言中最东方的一族,下分为印度-雅利安语支、
  • 化学厕所化学厕所,就是集便器使用化学品把粪便消毒的厕所,而非单纯把污物储存,或是经管道将之送往污水处理厂。这些厕所常见于飞机或新型列车上。消毒剂通常使用氢氧化钠或是近似的化学
  • 排遗排遗是生物体将食物经口进入如胃、小肠等消化器官消化吸收后,排除不能消化的剩余废物的过程,如排便等。排泄的关键词是代谢后的废物或其它产物的排出,指的是经过体内生化反应后