公理语义学

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

相关

  • 戒烟戒烟是指吸烟者戒除吸用尼古丁的毒瘾,亦是目前世界各国一项主要健康议题。当人类吸入尼古丁后,会影响脑中的奖赏路径(reward pathways),使吸食者感到愉悦,不少初期吸食者均认为自
  • 恩夫韦地恩夫韦地(INN:Enfuvirtide),商品名福艾(Fuzeon),是一种融合抑制剂类抗艾滋病靶向药物,由美国的Trimeris公司与瑞士的罗氏公司合作开发。恩夫韦地于2003年得到美国食品药品监督管理局
  • 鼻疽伯克霍尔德氏菌鼻疽伯克霍尔德氏菌(Burkholderia mallei),又称鼻疽伯克氏菌、鼻疽假单孢菌,一种革兰氏阴性菌,属于伯克氏菌属。它会引起马鼻疽。医学导航:病菌细菌(分类)gr+f/gr+a(t)/gr-p(c/gr-o药物(J1p
  • 协助自杀协助自杀(英语:Assisted Suicide)是指在另一个人的协助下自杀。 该术语有时特指“医生辅助自杀(Physician-Assisted Suicide)”,指由医生或其他医疗保健提供者所协助的自杀。如果
  • CD8+细胞毒性T细胞(英语:cytotoxic T cell,TC或CTL),也称杀手T细胞(killer T cell),TC细胞、胞杀T细胞、胞毒T细胞,或CD8+ T细胞,属于T细胞的一种,可以杀死癌细胞、受病毒感染的细胞,以及其
  • 放射免疫分析放射免疫分析(英语:radioimmunoassay,缩写为RIA),又称为放射免疫分析法、放射免疫测定或放射免疫测定法,简称放免或放免法,是一种在无须采用生物测定方法的情况下,用于检测抗原(例如
  • 安非他酮安非他酮(国际非专利药品名称:Bupropion,旧名:amfebutamone) 或 盐酸安非他酮,商品名威博隽(Wellbutrin),是一种主要作为抗抑郁药和戒烟药使用的药物、也可用作治疗注意力不足过动症
  • Dy4f10 6s22, 8, 18, 28, 8, 2蒸气压3, 2, 1 (弱第一:573.0 kJ·mol−1 第二:1130 kJ·mol−1 第三:2200 kJ·mol主条目:镝的同位素.mw-parser-output ruby>rt,.mw-parser-out
  • 透析透析是利用半透膜将小分子和大分子分离的一种技术。在医学中,透析被用来代替因为肾衰竭而丧失功能的肾,俗称“洗肾”。透析可以被用来救助突然的暂时丧失其肾功能的病人(急性肾
  • 古典时代晚期古典时代晚期又称作古代晚期、晚古时期或近古代(英语:Late Antiquity),是历史学上的术语,意指古典古代到中世纪之间的期间,地区包含了欧洲的大部分和环地中海地区,历史学者彼得·布