首页 >
公理语义学
✍ dations ◷ 2025-08-28 10:58:14 #公理语义学
公理语义学(Axiomatic semantics)是使用数理逻辑来证明程序正确性。程序中的命令的意义描述是通过对程序状态的断言(assertion)效果。断言是逻辑语句——带变量的谓词,而这些变量定义了程序的状态。公理语义学的一个实例是霍尔逻辑。
相关
- 杀外寄生虫药外寄生物感染是指主要由外寄生物引起的寄生虫病。外寄生物即暂时或永久寄生于宿主体表的寄生物。例如:治疗外寄生物感染常使用杀外寄生虫药(英语:ectoparasiticide),以杀死外寄生
- 桑黄桑黄(Sanghuangporus sanghuang),又称桑耳、桑臣,为锈革菌科桑黄属的物种,也是桑黄孔菌属的模式种。本种生长于桑属植物的树干上。具有抗氧化、抗发炎、提升免疫力、抗癌、护肝、
- 美国医学会美国医学会(American Medical Association,缩写AMA),成立于1847年,1897年成为法人 ,为美国最大的医生组织。总部位于芝加哥。会员人数超过21万(2010年)。 组织代表美国医生(M.D. 和 D
- Pioglitazone吡格列酮(Pioglitazone)是一种专门用于治疗2型糖尿病的口服药物,属于噻唑烷二酮类(活化受体调节剂)药物的一种。
- 醛糖醛糖(英语:Aldose) 是一类单糖,每个分子含有一个醛基,化学式的规律为CnH2nOn(n≥3)。甘油醛是构造最简单的醛糖,这种糖只含有3个碳原子。果聚糖:菊粉 · 果聚糖β2→6甘露聚糖:低聚
- 永隆省永隆省(越南语:Tỉnh Vĩnh Long/.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI-H","
- 阿那克西曼德阿那克西曼德(希腊语:Ἀναξίμανδρος,约前610年-约前546年),米利都人,古希腊哲学家。他是前苏格拉底时期的米利都学派第二代自然哲学家,上承泰勒斯,下启阿那克西美尼。在哲
- 1111号染色体是人类23对染色体中的一对,正常人拥有2条11号染色体。11号染色体缠绕了约1.345亿碱基对(构筑DNA的材料),并包含了人类细胞中4~4.5%的DNA。这是人类基因组中包含最多控
- 鼻骨鼻骨(英语:nasal bone)是一对细小的长方形骨,在脸的中上部接合形成鼻梁的一部分,而鼻下面的较大部分是由软骨所组成。
- 着重强调焦点(缩写为:foc)是一种语法的类别,用于确定句子的哪一部分能够提供新的、不可推导的或对比的信息。焦点与信息结构(英语:Information structure)有关。对比焦点尤其是指与对话者 (