首页 >
公理语义学
✍ 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年约有