公理语义学

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

相关

  • 嘌呤.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-settings:
  • DNA定序DNA测序(DNA sequencing,或译DNA定序)是指分析特定DNA片段的碱基序列,也就是腺嘌呤(A)、胸腺嘧啶(T)、胞嘧啶(C)与鸟嘌呤(G)的排列方式。快速的DNA测序方法的出现极大地推动了生物学和医
  • Am5f7 7s22, 8, 18, 32, 25, 8, 2主条目:镅的同位素镅(Americium,台湾译作鋂)是一种放射性超铀元素,符号为Am,原子序为95。镅属于锕系元素,在元素周期表中位于镧系元素铕之下。镅是以
  • 哲罗姆哲罗姆,天主教译圣热罗尼莫或圣叶理诺,也译作圣杰罗姆(约340年-420年;英文:Jerome(以前叫 Saint Hierom);拉丁文:Eusebius Sophronius Hieronymus;希腊文:Εὐσέβιος Σωφρόν
  • 偏方民间疗法,大部分是一些没有精密科学依据,但又在民间传说中,号称具有特定成效的治病方式。又称偏方。民间疗法的一个特色是只能问相信不相信,但不能证明真实不真实。民间疗法的内
  • 全色盲色盲(英语:Color blindness),又称色觉辨认障碍(英语:Color vision deficiency),是指看见颜色及辨别颜色的能力减退的状况。色盲有可能造成学习困难 ,购买水果、挑选衣物,及辨识交通号
  • 视盲失明,俗称盲或者瞎,是指由生理或心理原因引发的人体视知觉缺陷。目前对于视觉丧失的程度有多种度量标准,而失明也有许多种定义。完全失明是指人体彻底丧失对于形状和可见光的感
  • .mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-settings:
  • 肺炎霉浆菌肺炎支原体(Mycoplasma pneumoniae、霉浆菌性肺炎)是一种可导致肺炎的支原体细菌,也有机会导致冷凝集素症(英语:cold agglutinin disease)。这种由肺炎支原体引起的肺炎,又称作霉浆
  • 旧字形陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书(大篆 ‧  小篆)隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧  书法 ‧ 飞白书笔画 ‧