公理语义学

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

相关

  • 聚合酶链式反应聚合酶链式反应(英文:Polymerase chain reaction,缩写:PCR,又称多聚酶链式反应),是一项利用DNA双链复制的原理,在生物体外复制特定DNA片段的核酸合成技术。通过这一技术,可在短时间内
  • 厌氧菌厌氧生物,或称厌气生物,是指一种不需要氧气生长的生物。它们大致上可以分为三种,即专性厌氧生物、兼性厌氧生物及耐氧厌氧生物 。人体内的厌氧生物多存在于消化系统中,有些种类
  • 在生物分类学中,域(英语:domain、superkingdom、empire、拉丁语:regio)是美国生物学家卡尔·沃斯1990年设计的三域系统中最高的分类单元,该系统中,生命之树(英语:Tree of life (biolo
  • 狂犬病狂犬病疫苗是指用来预防狂犬病的疫苗。目前已有很多有效且安全的疫苗。在暴露于病毒(例如被狗或蝙蝠咬)之前或之后一段时间都可以施打狂犬病疫苗。在接种三剂后可以有长期的免
  • 恐慌症恐慌症,是一种焦虑症,特征为没有预兆地一再恐慌发作。恐慌发作是突然的短期强烈恐惧,可能包含心悸、流汗、手颤抖、呼吸困难、麻痹感、或是有非常严重的事即将发生的感觉。症状
  • CYP1A22HI4· iron ion binding · electron carrier activity · oxidoreductase activity · oxidoreductase activity, acting on paired donors, with incorporation or re
  • DNA脱氧核糖核酸病毒(英语:DNA virus),又称DNA病毒,其遗传物质为DNA。一般为正链DNA病毒。医学导航: 病毒病病毒(蛋白质)/分类cutn/syst (hppv/艾滋病, 流感/疱疹/人畜共患)/人名体
  • 蛋,是卵生的羊膜动物所生带有硬壳的卵,受精之后可孵出小动物,为人类食用已有几千年历史。蛋由蛋壳保护,而当中的蛋白和蛋黄被各种薄膜包裹。蛋黄和全蛋存储大量的蛋白质、胆碱和
  • 心理成熟心理成熟是指心理指随着时间的推移向着圆满生长,有能力以恰当的方式对社会环境做出适当反应。反应通常而言是靠学习而得到的,而非先天本能。成熟也意味着根据情况和社会文化,知
  • 杰拉杰拉(Gela)是卡尔塔尼塞塔省的一个镇,位于意大利的西西里岛。杰拉是卡尔塔尼塞塔省的一个城市,在意大利的西西里岛南部。它位于地中海上,距卡尔塔尼塞塔大约有84公里。2001年约有