公理语义学

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

相关

  • 希波克拉底“希波克拉底”(古希腊文:Ἱπποκράτης,前460年-前370年),为古希腊伯里克利时代之医师,约生于公元前460年,后世人普遍认为其为医学史上杰出人物之一。在其所身处之上古时代,
  • 变性变性人又称换性、性转者(英语:Transsexual),其经历性别认同与其出生时的指定性别不一致或没有文化的相关性,并希望身体永久转变为符合他们的性别认同,通常寻求医疗援助(包括激素替
  • 外呼吸外呼吸是指氧与二氧化碳在肺脏内与其周围微血管血液间所进行的气体交换,相对的概念是内呼吸(指一般细胞内与微血管血液间的气体交换。
  • 希佩尔-林道综合征希佩尔-林道综合征(Von Hippel–Lindau disease,VHL综合征)是一种罕见的常染色体显性遗传性疾病,表现为血管母细胞瘤累及小脑、脊髓、肾脏以及视网膜。其若干病变包括肾脏血管瘤
  • 高通滤波器高通滤波器(英语:High-pass filter)是容许高频信号通过、但减弱(或减少)频率低于截止频率信号通过的滤波器。对于不同滤波器而言,每个频率的信号的减弱程度不同。它有时被称为低频
  • B3怀孕分级(英语:Pregnancy category)是药物学中用来评估女性在怀孕期间服用药物对胎儿可能造成伤害的危险程度,但是在母乳中出现药物或是出现药物代谢物所可能造成的伤害则不包括
  • 可待因可待因(Codeine),化学式为C18H21NO3,是一种鸦片类药物(opioid),有止痛、止咳和止泻的药效,它的硫酸盐或磷酸盐常用于药品中。可待因是一种存在于鸦片中的生物碱,含量约占0.7-2.5%。它
  • 食品安全问题中华人民共和国食品安全是中华人民共和国(以下简称中国)日益关注的一个议题。中国的主要农作物有水稻、玉米、小麦、大豆、棉花以及苹果等,而主要畜产品有猪肉、牛肉、牛奶以及
  • 年假年假也称年休,指的是劳工每年在公共假日以外,能够自由安排的有薪假日。大多数国家都有劳动权益保护法律规定雇员最低的年休天数。根据雇主的规定,雇员可能须要在指定的天数前预
  • 灵隐寺坐标:30°14′34″N 120°05′48″E / 30.2427777778°N 120.096666667°E / 30.2427777778; 120.096666667灵隐寺,康熙皇帝曾赐名云林禅寺,位于杭州西湖西北面,在飞来峰与北高